scientific article; zbMATH DE number 967185

MaRDI QIDQ5690304zbMATH OpenFDO

Authors Jianfu Liu, Deqi Xu

Publication date 22 June 1997

zbMATH Keywords

concurrent systemPetri net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compact and efficiently verifiable models for concurrent systems
• scientific article; zbMATH DE number 1185853
• Model checking concurrent programs
• Formal verification of concurrent systems via directed model checking
• Compositional Model Checking of Concurrent Systems
• Verification of concurrent systems with VerCors
• The fixed-parameter tractability of model checking concurrent systems
• Models for concurrency: Towards a classification

Cited in

(13)

• Compact and efficiently verifiable models for concurrent systems
• Model checking concurrency and causality
• Models and languages for description of parallel processes
• A formal model of concurrent systems based on bipartite directed acyclic graph
• Studying Operational Models of Relaxed Concurrency
• Modelling concurrent systems specified by dynamic information systems: a rough set approach
• scientific article; zbMATH DE number 4180790 (Why is no real title available?)
• A verifiable low-level concurrent programming model based on colored Petri nets
• scientific article; zbMATH DE number 1185853 (Why is no real title available?)
• scientific article; zbMATH DE number 125888 (Why is no real title available?)
• scientific article; zbMATH DE number 2155192 (Why is no real title available?)
• Modeling the dynamics of concurrent computing systems
• On the complexity of verifying concurrent transition systems

This page was built for publication:

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