Copenhagen Programming Language Seminar
We present directed bigraphical reactive systems (DBRS), a framework to
describe computational models. The states of systems are represented by
two layered graphs, so-called directed bigraphs, capturing two main
aspects of ubiquitous systems, i.e., locality (places) and connectivity
(links). The dynamics are described as reaction rules defining the possible changes in the state of the systems.
DBRS allows to synthesised systematically labelled transition systems from reaction systems; notably, the corresponding bisimulations are always congruences.
Then, we introduce a general setting where adhesive categories can be composed by means of suitable operations; this allows to build more
complex, multi-graphical structures starting from simpler ones.
Thomas Hildebrandt Administrative host:Renée Korver Michan.
All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org