Algebraic Meta-Theory of Processes with Data

E.D. Gebler, E-I. Goriac, M. Mousavi

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics - EXPRESS/SOS'13
EditorsJ. Borgström, B. Luttik
PublisherEPTCS
Pages63-77
Volume120
DOIs
Publication statusPublished - 2013

Cite this