Behaviour specification of parallel active objects

DOI10.1016/S0167-8191(98)00044-1MaRDI QIDQ1275048zbMATH OpenFDO

Authors Tom Holvoet, T. Kielmann

Publication date 12 January 1999

Published in Parallel Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0167-8191(98)00044-1

zbMATH Keywords

coordinationhigh-level Petri netsbehaviour specificationobjective Lindareusable components

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1686269
• Active objects: A software structure for cluster-based systems
• Multiactive objects and their applications
• Formal Methods for Components and Objects

Cited in

(1)

• Active objects: A software structure for cluster-based systems

This page was built for publication: Behaviour specification of parallel active objects

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