Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems

Abstract

In general, the possibility of having parallelism within recursion will lead to systems with infinite state spaces. For instance, a language 7 ) consisting of recursively defined processes over a signature of prefixing, non-deterministic choice and merge will contain infinite state-space systems; the solution to X = aXIb is such an example. Whether… (More)
DOI: 10.1007/BFb0084789

4 Figures and Tables

Topics

  • Presentations referencing similar topics