Twentieth Annual IEEE Symposium on

Logic in Computer Science (LICS 2005)

Paper: Reactive Systems over Cospans (at LICS 2005)

Authors: Vladimiro Sassone Pawel Sobocinski


The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for semantic models with an underlying reduction semantics. The derivation procedure requires the presence of certain colimits (or, more usually and generally, bicolimits) which need to be constructed separately within each model. In this paper, we offer a general construction of such bicolimits in a class of bicategories of cospans. The construction sheds light on as well as extends Ehrig and König’s rewriting via borrowed contexts and opens the way to a unified treatment of several applications.


    author = 	 {Vladimiro Sassone and Pawel Sobocinski},
    title = 	 {Reactive Systems over Cospans},
    booktitle =  {Proceedings of the Twentieth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2005},
    year =	 2005,
    editor =	 {Prakash Panangaden},
    month =	 {June}, 
    pages =      {311--320},
    location =   {Chicago, USA}, 
    publisher =	 {IEEE Computer Society Press}