scientific article

From MaRDI portal

Publication:3677164

Jump to:navigation, search

zbMath0563.68028MaRDI QIDQ3677164

Ilaria Castellani

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bisimulation abstraction homomorphisms labelled transition systems Church-Rosser property nondeterministic processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

Bisimulations and abstraction homomorphisms, Fairness and regularity for SCCS processes, Petri nets and bisimulation, Bisimulation of automata, Non-deterministic data types: Models and implementations

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3677164&oldid=17148288"