scientific article; zbMATH DE number 140241

MaRDI QIDQ4028628zbMATHFDO

Authors Thierry Massart

Publication date 28 March 1993

zbMATH Keywords

process calculusalgebraic specificationagent calculuscorrectness of transformations

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• An agent calculus with simple actions where the enabling and disabling are derived operators
• scientific article; zbMATH DE number 30325
• A calculus of mobile agents
• Translating FSP into LOTOS and Networks of Automata
• Translating FSP into LOTOS and networks of automata

Cited in

(9)

• Algebra of behavior transformations and its applications
• Gate splitting in LOTOS specifications using abstract interpretation
• Translating FSP into LOTOS and Networks of Automata
• Translating FSP into LOTOS and networks of automata
• An agent calculus with simple actions where the enabling and disabling are derived operators
• scientific article; zbMATH DE number 140242 (Why is no real title available?)
• Gate splitting in LOTOS specifications using abstract interpretation
• A framework based on implementation relations for implementing LOTOS specifications
• Testing Distributed Systems Through Symbolic Model Checking

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