Algebraic Meta-Theory of Processes with Data

Algebraic Meta-Theory of Processes with Data

There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics. Moreover, there exist a few approaches for automatically deriving axiomatizations characterizing strong bisimilarity of processes. To our knowledge, this...

Full description

Bibliographic Details
Main Authors: Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi
Format: Article
Language:English
Published: Open Publishing Association 2013-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1307.7444v1

Internet

http://arxiv.org/pdf/1307.7444v1

Similar Items