ENTCS 1998 | Sciweavers

10

click to vote

ENTCS
1998

58views more ENTCS 1998»

Relators and Metric Bisimulations

13 years 4 months ago

Download homepages.cwi.nl

Jan J. M. M. Rutten

claim paper

Read More »

17

click to vote

ENTCS
1998

94views more ENTCS 1998»

Derivation of Characteristic Formulae

13 years 4 months ago

Download cs.uni-muenster.de

This paper shows how modal mu-calculus formulae characterizing ﬁnite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest ﬁxp...

Markus Müller-Olm

claim paper

Read More »

9

click to vote

ENTCS
1998

60views more ENTCS 1998»

Semantics, modularity, and rewriting logic

13 years 4 months ago

Download www.brics.dk

Peter D. Mosses

claim paper

Read More »

13

click to vote

ENTCS
1998

115views more ENTCS 1998»

A Testing Equivalence for Reactive Probabilistic Processes

13 years 4 months ago

Download qav.comlab.ox.ac.uk

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

claim paper

Read More »

14

click to vote

ENTCS
1998

101views more ENTCS 1998»

A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes

13 years 4 months ago

Download qav.comlab.ox.ac.uk

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

claim paper

Read More »

10

click to vote

ENTCS
1998

63views more ENTCS 1998»

Proof theory and computational analysis

13 years 4 months ago

Download www.brics.dk

Ulrich Kohlenbach

claim paper

Read More »

9

click to vote

ENTCS
1998

88views more ENTCS 1998»

Automatically Proving Up-to Bisimulation

13 years 4 months ago

Download cermics.enpc.fr

Daniel Hirschkoff

claim paper

Read More »

10

click to vote

ENTCS
1998

79views more ENTCS 1998»

Covarieties and Complete Covarieties

13 years 4 months ago

Download www.mathematik.uni-marburg.de

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

claim paper

Read More »

8

click to vote

ENTCS
1998

105views more ENTCS 1998»

A Concurrent Object Calculus: Reduction and Typing

13 years 4 months ago

Download research.microsoft.com

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

claim paper

Read More »

14

click to vote

ENTCS
1998

67views more ENTCS 1998»

The Semantics of Triveni: A Process-Algebraic API for Threads + Events

13 years 4 months ago

Download webpages.cs.luc.edu

Christopher Colby, Lalita Jategaonkar, Radha Jagad...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers