scientific article; zbMATH DE number 4213465

MaRDI QIDQ3359780zbMATH OpenFDO

Authors Claudia Popien, H. König

Publication date 1991

zbMATH Keywords

abstract data type language ACT ONEcalculus of communicating systemsdesign, specificaton, and analysis of distributed systemsLOTOS data typesprotocol specificationsservice definitionsstructured labelled transition systemstrutured events

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Testing algebraic data types and processes: A unifying theory
• scientific article; zbMATH DE number 3995036
• CSP-CASL -- a new integration of process algebra and algebraic specification
• scientific article; zbMATH DE number 1860662
• Integrated Formal Methods

Cited in

(1)

• scientific article; zbMATH DE number 3995036 (Why is no real title available?)

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