Copenhagen Programming Language Seminar

Multi-graph structures as frameworks for distributed and concurrent systems

Davide Grohmann,
PhD student, University of Udine & visiting PostDoc at IT University of Copenhagen

Thursday March 11. at 9:15-10:00
IT University, Copenhagen. Room: 4A16


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.
Host: Thomas Hildebrandt, ITU
CosmoBiz research project (www.CosmoBiz.dk)

Scientific host: 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 prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org