Weak Bisimulation as a Congruence in MSOS

First Author: Mosses P
Attributed to:  PLanCompS: Programming Language Components and Specifications funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-23165-5_24

Publication URI: http://dx.doi.org/10.1007/978-3-319-23165-5_24

Type: Book Chapter

Book Title: Logic, Rewriting, and Concurrency - Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (2015)

Page Reference: 519-538

ISBN: 978-3-319-23164-8