On the specification of operations on the rational behaviour of systems

Bonsangue M, Milius S, Rot J (2012)

Publication Type: Conference contribution

Publication year: 2012

Series: Electron. Proc. Theoret. Comput. Sci.

Book Volume: 89

Pages Range: 3-18

Conference Proceedings Title: Proc. Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS’12)

Event location: Newcastle upon Tyne

DOI: 10.4204/EPTCS.89.2

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik)

Involved external institutions

Leiden University NL Netherlands (NL)

How to cite

APA:

Bonsangue, M., Milius, S., & Rot, J. (2012). On the specification of operations on the rational behaviour of systems. In Proc. Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS’12) (pp. 3-18). Newcastle upon Tyne.

MLA:

Bonsangue, Marcello, Stefan Milius, and Jurriaan Rot. "On the specification of operations on the rational behaviour of systems." Proceedings of the EXPRESS/SOS 2012, Newcastle upon Tyne 2012. 3-18.

BibTeX: Download