On the specification of operations on the rational behaviour of systems

Conference contribution


Publication Details

Author(s): Bonsangue M, Milius S, Rot J
Publication year: 2012
Title of series: Electron. Proc. Theoret. Comput. Sci.
Volume: 89
Conference Proceedings Title: Proc. Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS’12)
Pages range: 3-18


FAU Authors / FAU Editors

Milius, Stefan apl. Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


External institutions with authors

Leiden University


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: 

Last updated on 2018-09-08 at 23:09