Specification styles in distributed systems design and verification

DOI10.1016/0304-3975(90)90111-TzbMath0772.68065OpenAlexW2135012291MaRDI QIDQ1177943

Giuseppe Scollo, Chris A. Vissers, Ed Brinksma, Marten van Sinderen

Publication date: 26 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(90)90111-t

zbMATH Keywords

distributed systemsspecificationspecification language LOTOS

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (9)

Automating (specification = implementation) using equational reasoning and LOTOS ⋮ An algebra-based method to associate rewards with EMPA terms ⋮ A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time ⋮ Model transformations across views ⋮ The How and Why of Interactive Markov Chains ⋮ Refinement, conformance and inheritance ⋮ A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems ⋮ Performance measure sensitive congruences for Markovian process algebras ⋮ YMCA

Uses Software

• LOTOS

Cites Work

• Observation equivalence as a testing equivalence
• Equational type logic
• Calculi for synchrony and asynchrony
• Extensional equivalences for transition systems
• Testing equivalences for processes
• CIRCAL and the representation of communication, concurrency, and time
• A Theory of Communicating Sequential Processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification styles in distributed systems design and verification