Sciweavers

Share
ENTCS
1998
58views more  ENTCS 1998»
8 years 11 months ago
Relators and Metric Bisimulations
Jan J. M. M. Rutten
ENTCS
1998
94views more  ENTCS 1998»
8 years 11 months ago
Derivation of Characteristic Formulae
This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixp...
Markus Müller-Olm
ENTCS
1998
60views more  ENTCS 1998»
8 years 11 months ago
Semantics, modularity, and rewriting logic
Peter D. Mosses
ENTCS
1998
115views more  ENTCS 1998»
8 years 11 months ago
A Testing Equivalence for Reactive Probabilistic Processes
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
Marta Z. Kwiatkowska, Gethin Norman
ENTCS
1998
101views more  ENTCS 1998»
8 years 11 months ago
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
Marta Z. Kwiatkowska, Gethin Norman
ENTCS
1998
63views more  ENTCS 1998»
8 years 11 months ago
Proof theory and computational analysis
Ulrich Kohlenbach
ENTCS
1998
88views more  ENTCS 1998»
8 years 11 months ago
Automatically Proving Up-to Bisimulation
Daniel Hirschkoff
ENTCS
1998
79views more  ENTCS 1998»
8 years 11 months ago
Covarieties and Complete Covarieties
We present two ways to de ne covarieties and complete covarieties, i.e. covarieties that are closed under total bisimulation: by closure operators and by subcoalgebras of coalgebr...
H. Peter Gumm, Tobias Schröder
ENTCS
1998
105views more  ENTCS 1998»
8 years 11 months ago
A Concurrent Object Calculus: Reduction and Typing
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
Andrew D. Gordon, Paul D. Hankin
ENTCS
1998
67views more  ENTCS 1998»
8 years 11 months ago
The Semantics of Triveni: A Process-Algebraic API for Threads + Events
Christopher Colby, Lalita Jategaonkar, Radha Jagad...
books