Formal Specification of Concurrent Systems: A Structured Approach

DOI10.1093/COMJNL/41.3.145MaRDI QIDQ4226631zbMATH OpenOpenAlexFDO

Authors Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini

Publication date 19 January 2000

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/41.3.145

zbMATH Keywords

concurrent systemsPetri Nets

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5262134
• scientific article; zbMATH DE number 1442035
• Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems
• scientific article; zbMATH DE number 749804

Cited in

(13)

• Formal stystems specification. The RPC-memory specification case study
• A formal model of concurrent systems based on bipartite directed acyclic graph
• Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems
• Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions
• When concurrent control meets functional requirements, or Z + Petri-nets
• Specification and refinement using a heterogeneous notation for concurrency and communication
• Towards Context-Based Concurrent Formal Theories
• scientific article; zbMATH DE number 749804 (Why is no real title available?)
• scientific article; zbMATH DE number 1390334 (Why is no real title available?)
• Modular specification of concurrent systems with observational logic
• scientific article; zbMATH DE number 5262134 (Why is no real title available?)
• Steps in modular specifications for concurrent modules (invited tutorial paper)
• A formal system for specification analysis of concurrent programs

This page was built for publication: Formal Specification of Concurrent Systems: A Structured Approach

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