Peter D Mosses
Dear guest, welcome to this publication database. As an anonymous user, you will probably not have edit rights. Also, the collapse status of the topic tree will not be persistent. If you like to have these and other options enabled, you might ask Peter Mosses for a login account.
This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit www.aigaion.nl. Get Web based bibliography management system at SourceForge.net. Fast, secure and Free Open Source software downloads
 [BibTeX] [RIS]
Implicit Propagation in Structural Operational Semantics
Type of publication: Inproceedings
Citation: Mosses2009IPS
Booktitle: SOS 2008
Series: Electr. Notes Theor. Comput. Sci.
Volume: 229(4)
Year: 2009
Pages: 49-66
Publisher: Elsevier
Crossref: SOS2008-9:
SOS 2008, 5th Workshop on Structural Operational Semantics, Reykjavik, Iceland, 6 July 2008, Proceedings, Elsevier, 2009
DOI: 10.1016/j.entcs.2009.07.073
Userfields: x-editor = {M. Hennessy and B. Klin}, x-url = {http://homepages.inf.ed.ac.uk/bklin/SOS2008/}
Keywords:
Authors Mosses, Peter D.
New, Mark J.
Added by: [PDM]
Total mark: 0
Attachments
  • Mosses2009IPS.pdf
       (Final proceedings version)
Notes
  • [PDM]: This paper introduces I-MSOS, which allows MSOS descriptions to be written using the familiar notational style of conventional SOS.
Topics