|
|
Web Service Composition in the Grid Environment
– Ioannis G. Baltopoulos
- 2005
|
|
130
|
An overview and synthesis on timed process algebras
– Xavier Nicollin, Joseph Sifakis
- 1991
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
1962
|
Statecharts: A Visual Formalism For Complex Systems
– David Harel
- 1987
|
|
|
Enforcing Distributed Information Flow Policies Architecturally: the SAID Approach
– Arnab Ray
|
|
9
|
On the Search for Tractable Ways of Reasoning about Programs
– C. B. Jones
- 2001
|
|
4
|
A language for Modular Information-passing Agents
– Rogier M. van Eijk, Frank S. de Boer, Wiebe Van Der Hoek, John-jules Ch. Meyer
- 1997
|
|
1
|
A Study of Objects
– Paul Hankin
- 1999
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 1996
|
|
5
|
Categorical Models for Concurrency: Independence, Fairness and Dataflow
– Thomas Troels Hildebrandt
- 2000
|
|
1
|
A Fully Parallel Calculus of Synchronizing Processes
– Diego Latella, Paola Quaglia
- 1993
|
|
1
|
A message-exchange pattern based formal approach for b2b interactions
– Juan Miguel Gomez, Sung-kook Han, Christoph Bussler
- 2005
|
|
1
|
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
– Xian Xu
|
|
6
|
A Paradigm for Asynchronous Communication and its Application to Concurrent Constraint Programming
– Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J.M.M. Rutten
- 1993
|
|
5
|
Stochastic Process Algebras - Between LOTOS and Markov Chains
– U. Herzog, H. Hermanns, V. Mertsiotakis
- 1997
|
|
|
Adding Enrichments to Refined Interleavings: A New Model for the π-Calculus
– Michael Baldamus
- 1999
|
|
8
|
Topology, Domain Theory and Theoretical Computer Science
– Michael W. Mislove
- 1997
|
|
1
|
Stable and Timed Formats for Process Algebra
– Iain Phillips, Irek Ulidowski
- 1995
|
|
11
|
Combinators and Bisimulation Proofs for Restartable Systems
– K. V. S. Prasad
- 1991
|
