ENTCS 2006 | Sciweavers

14

click to vote

ENTCS
2006

111views more ENTCS 2006»

What are the Fundamental Structures of Concurrency?: We still don't know!

13 years 7 months ago

Download www.comlab.ox.ac.uk

Samson Abramsky

claim paper

Read More »

18

click to vote

ENTCS
2006

119views more ENTCS 2006»

Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity

13 years 7 months ago

Download www.sti.uniurb.it

The notion of equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. The reason is that, besid...

Marco Bernardo

claim paper

Read More »

15

click to vote

ENTCS
2006

102views more ENTCS 2006»

A Proof Theoretic Approach to Operational Semantics

13 years 7 months ago

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

17

click to vote

ENTCS
2006

105views more ENTCS 2006»

Monte Carlo Methods for Process Algebra

13 years 7 months ago

Download www.cs.sunysb.edu

We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...

Radu Grosu, Scott A. Smolka

claim paper

Read More »

10

click to vote

ENTCS
2006

91views more ENTCS 2006»

On Specifying Timeouts

13 years 7 months ago

Download www.cse.unsw.edu.au

This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task.

Rob J. van Glabbeek

claim paper

Read More »

13

click to vote

ENTCS
2006

130views more ENTCS 2006»

Constraint-Based Concurrency and Beyond

13 years 7 months ago

Download nicosia.is.s.u-tokyo.ac.jp

Kazunori Ueda

claim paper

Read More »

13

click to vote

ENTCS
2006

96views more ENTCS 2006»

Timed CSP: A Retrospective

13 years 7 months ago

Download www.comlab.ox.ac.uk

Joël Ouaknine, Steve Schneider

claim paper

Read More »

17

click to vote

ENTCS
2006

94views more ENTCS 2006»

Reactive Concurrent Programming Revisited

13 years 7 months ago

Download hal.archives-ouvertes.fr

In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the...

Roberto M. Amadio, Gérard Boudol, Fré...

claim paper

Read More »

17

click to vote

ENTCS
2006

98views more ENTCS 2006»

A Generic Process Algebra

13 years 7 months ago

Download alexandria.tue.nl

The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operato...

Jos C. M. Baeten, Mario Bravetti

claim paper

Read More »

9

click to vote

ENTCS
2006

94views more ENTCS 2006»

Much Ado About Nothing?

13 years 7 months ago

Download www.bju.edu

Rachele Fuzzati, Uwe Nestmann

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers