Search CORE

8 research outputs found

Formal specification of javaspaces architecture using muCRL

Author: Pol J.C. (Jaco) van de
Valero Espada M.A. (Miguel)
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/2002
Field of study

CWI's Institutional Repository

Formal verification of replication on a distributed data space architecture

Author: Hooman J.
Pol J.C. (Jaco) van de
Publication venue: 'American College of Medical Physics (ACMP)'
Publication date: 01/01/2002
Field of study

CWI's Institutional Repository

Verification of JavaSpaces (TM) Parallel Programs

Author: Pol J.C. (Jaco) van de
Valero Espada M.A. (Miguel)
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date: 01/01/2003
Field of study

CWI's Institutional Repository

Distribution of a simple shared dataspace architecture

Author: Orzan S.-M. (Simona-Mihaela)
Pol J.C. (Jaco) van de
Publication venue: 'Elsevier BV'
Publication date: 01/01/2002
Field of study

CWI's Institutional Repository

Modal Abstraction and Replication of Processes with Data

Author: Valero Espada M.
Publication venue: Vrije Universiteit
Publication date: 01/01/2005
Field of study

Fokkink, W.J. [Promotor]Pol, J.C. van de [Copromotor

VU Research Portal

CWI's Institutional Repository

On Distributed Verification and Verified Distribution

Author: Orzan S.M.
Publication venue: Vrije Universiteit
Publication date: 01/01/2004
Field of study

Fokkink, W.J. [Promotor]Pol, J.C. van de [Copromotor

VU Research Portal

CWI's Institutional Repository

Pure OAI Repository

Abstractions and Static Analysis for Verifying Reactive Systems

Author: Yustinova N.
Publication venue
Publication date: 01/01/2004
Field of study

Fokkink, W.J. [Promotor]Sidorova, N. [Copromotor

VU Research Portal

CWI's Institutional Repository

A framework for debugging heterogeneous applications

Author: Olivier P.A. (Pieter)
Publication venue
Publication date: 05/12/2000
Field of study

CWI's Institutional Repository

core

core