Reactive systems over cospans

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 colimi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Sassone, V., Sobocinski, P.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algebra Bipartite graph Computer architecture Computer science Computer security Concurrent computing Logic Mobile computing National security
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!