Formal specification of JavaSpaces architecture using CRL

DOI10.1007/3-540-46000-4_26MaRDI QIDQ4738200zbMATH OpenFDO

Authors Jaco van de Pol, Miguel Valero Espada

Publication date 11 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2315/23150274.htm

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Process calculi for coordination: From Linda to JavaSpaces
• Behavioural analysis of the enterprise \texttt{JavaBeans}\(^{TM}\) component architecture
• Distribution of a simple shared dataspace architecture
• Model checking a cache coherence protocol of a Java DSM implementation

Cited in

(6)

• A logic for a coordination model with multiple spaces
• Distribution of a simple shared dataspace architecture
• Behavioural analysis of the enterprise \texttt{JavaBeans}\(^{TM}\) component architecture
• scientific article; zbMATH DE number 1569118 (Why is no real title available?)
• Equivalent semantic models for a distributed dataspace architecture.
• Model checking a cache coherence protocol of a Java DSM implementation

This page was built for publication: Formal specification of JavaSpaces architecture using \(\mu\)CRL

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