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
Remark: 
Auch als Veröff. im Internet: http://www.sciencedirect.com/science/article/B6WGK-4Y8G5TX-3/2/fb20ad02ae0fdef349a54cb729b0be82
URL: http://www.sciencedirect.com/science/article/B6...
Document Type: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/3806
Release Date: 30. April 2014