Structural Operational Semantics

Authors :: Luca Aceto
Wan Fokkink
Chris Verhoef
Bergstra, J. : Ponse, A. : Smolka, S. (eds.), null
Source :: Aceto, L, Fokkink, J & Verhoef, C 2001, Structural Operational Semantics . in Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (ed.), Handbook of Process Algebra . Pergamon Press, Amsterdam ., Introduction to Process Algebra ISBN: 9783642085840
Publication Year :: 2001
Publisher :: Pergamon Press, 2001.
Abstract: This appendix introduces the basics of structural operational semantics [171], which defines a labelled transition system over a term algebra. An up-to-date overview of structural operational semantics is given in [3].

Subjects :: Action semantics
Denotational semantics
Computer science
Well-founded semantics
Programming language
Transition system
Computer Science::Programming Languages
Modal logic
Type erasure
computer.software_genre
Term algebra
computer
Operational semantics

Language :: English
ISBN :: 978-3-642-08584-0
ISBNs :: 9783642085840
Database :: OpenAIRE
Journal :: Aceto, L, Fokkink, J & Verhoef, C 2001, Structural Operational Semantics . in Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (ed.), Handbook of Process Algebra . Pergamon Press, Amsterdam ., Introduction to Process Algebra ISBN: 9783642085840
Accession number :: edsair.doi.dedup.....8e4a89c34158858d7d4d916178c060fc

Tools