scientific article; zbMATH DE number 140241

zbMATH Open0766.68096MaRDI QIDQ4028628FDOQ4028628

Authors: Thierry Massart 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Translating FSP into LOTOS and Networks of Automata
• Translating FSP into LOTOS and networks of automata
• Testing Distributed Systems Through Symbolic Model Checking
• Title not available (Why is that?)
• 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
• A framework based on implementation relations for implementing LOTOS specifications
• Gate splitting in LOTOS specifications using abstract interpretation

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)