Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

2009-09-01

Theoretical Computer Science , Volume 410 - Issue 41 p. 4044- 4066

Additional Metadata
Keywords	behavioral equivalences, logic programming, petri nets, reactive systems
Publisher	Elsevier
Persistent URL	doi.org/10.1016/j.tcs.2009.06.010
Journal	Theoretical Computer Science
Organisation	Specification and Analysis of Embedded Systems
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Bonchi, F.& Montanari, U. (2009). Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Theoretical Computer Science, 410(41), 4044–4066.https://doi.org/10.1016/j.tcs.2009.06.010

Publication