scientific article; zbMATH DE number 1231617

MaRDI QIDQ4222940zbMATH OpenFDO

Authors

Publication date 6 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10016

zbMATH Keywords

process algebra specificationtemporal logic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1696902
• scientific article; zbMATH DE number 1304377
• scientific article; zbMATH DE number 2079534
• Algebraic Methodology and Software Technology
• Diagrammatic specifications
• Actors and logical analysis of interactive systems
• Actors: A model for reasoning about open distributed systems

Cited in

(6)

• Specification diagrams for actor systems
• scientific article; zbMATH DE number 1686284 (Why is no real title available?)
• Behavioral specification of middleware systems
• scientific article; zbMATH DE number 1304377 (Why is no real title available?)
• scientific article; zbMATH DE number 2079534 (Why is no real title available?)
• Algebraic Methodology and Software Technology

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