scientific article; zbMATH DE number 3898215

MaRDI QIDQ3677155zbMATH OpenFDO

Authors Ugo Montanari, Pierpaolo Degano

Publication date 1985

zbMATH Keywords

distributed systemsrefinement structurespecification languages

Mathematics Subject Classification ID

Theory of operating systems (68N25) Data structures (68P05)

Recommendations

• Specification styles in distributed systems design and verification
• scientific article; zbMATH DE number 3997152
• Specification and verification of distributed systems by means of the elementary-REAL language
• scientific article; zbMATH DE number 4084996
• scientific article; zbMATH DE number 1498420

Cited in

(31)

• Concurrent histories: a basis for observing distributed systems
• Concurrency and atomicity
• Specification styles in distributed systems design and verification
• Enriched categorical semantics for distributed calculi
• Specifying communication in distributed information systems
• A formal approach to the engineering of domain-specific distributed systems
• Systems specification by basic protocols
• On the construction of distributed RM-ODP specifications
• scientific article; zbMATH DE number 4018360 (Why is no real title available?)
• Analysis of distributed systems with mCRL2
• Behavioral specification of middleware systems
• scientific article; zbMATH DE number 3898216 (Why is no real title available?)
• Towards formal specification of a distributed computing system
• scientific article; zbMATH DE number 4084996 (Why is no real title available?)
• An extension of the notions of traces and of asynchronous automata
• scientific article; zbMATH DE number 1343481 (Why is no real title available?)
• scientific article; zbMATH DE number 1951530 (Why is no real title available?)
• scientific article; zbMATH DE number 1498420 (Why is no real title available?)
• scientific article; zbMATH DE number 1368954 (Why is no real title available?)
• scientific article; zbMATH DE number 3997140 (Why is no real title available?)
• scientific article; zbMATH DE number 3997152 (Why is no real title available?)
• Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols
• scientific article; zbMATH DE number 2086946 (Why is no real title available?)
• scientific article; zbMATH DE number 1875354 (Why is no real title available?)
• scientific article; zbMATH DE number 3894456 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• scientific article; zbMATH DE number 5036152 (Why is no real title available?)
• Specification and verification of distributed systems by means of the elementary-REAL language
• A dynamic evolution for the specifications of distributed systems
• Duality in specification languages: A lattice-theoretical approach
• Petri nets are monoids

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 Q3677155)