Is observational congruence on µ-expressions axiomatisable in equational horn logic?

Professorship/Faculty: Software Technologies  ; Foundations of Computer Science  
Authors: Mendler, Michael ; Lüttgen, Gerald  
Title of the compilation: Information and computation. - 208 (2010), 6 = Special Issue: 18th International Conference on Concurrency Theory ( CONCUR 2007) / ed. by Luis Caires and Vasco T. Vasconcelos, S. 634 - 651
Year of publication: 2010
Language(s): German
Auch als Veröff. im Internet:
Document Type: Contribution to an Articlecollection
Release Date: 30. April 2014