Weak bisimulation and model checking for basic parallel processes

DOI10.1007/3-540-62034-6_40zbMATH Open1541.68256MaRDI QIDQ6567759FDOQ6567759

Authors: Richard M. Mayr 

Publication date: 5 July 2024

zbMATH Keywords

model checkingbisimulationbasic parallel processes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Undecidability of bisimilarity for Petri nets and some related problems
• Title not available (Why is that?)
• Petri nets, commutative context-free grammars, and basic parallel processes

This page was built for publication: Weak bisimulation and model checking for basic parallel processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6567759)