scientific article; zbMATH DE number 140241

MaRDI QIDQ4028628zbMATH OpenFDO

Authors Thierry Massart

Publication date 28 March 1993

zbMATH Keywords

agent calculusalgebraic specificationcorrectness of transformationsprocess calculus

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)

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

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)