Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5313004zbMATH OpenOpenAlexFDO

Authors Prasannaa Thati, Gul A. Agha, Carolyn Talcott

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98770

zbMATH Keywords

\(\pi\)-calculusGraphical specification languagesmay testingrewriting logictrace equivalence

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Specification diagrams for actor systems
• scientific article; zbMATH DE number 1304377
• scientific article; zbMATH DE number 1231617
• scientific article; zbMATH DE number 1303990
• scientific article; zbMATH DE number 125881

Cited in

(8)

• Specification diagrams for actor systems
• Semantic specification and verification of data flow diagrams
• scientific article; zbMATH DE number 1670629 (Why is no real title available?)
• Modeling actor systems using dynamic I/O automata
• scientific article; zbMATH DE number 1231617 (Why is no real title available?)
• scientific article; zbMATH DE number 1304377 (Why is no real title available?)
• scientific article; zbMATH DE number 1951539 (Why is no real title available?)
• Diagrammatic specifications

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Algebraic Methodology and Software Technology

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