Search Sciweavers | Sciweavers

2479 search results - page 17 / 496

» Random Event Structures

click to vote

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

An Event-Based Structural Operational Semantics of Multi-Threaded Java

13 years 11 months ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

click to vote

CONCUR
1997
Springer

97views Distributed And Parallel Com...» more CONCUR 1997»

Causal Ambiguity and Partial Orders in Event Structures

13 years 11 months ago

Download eprints.eemcs.utwente.nl

Eventstructuremodelsoftenhavesomeconstraintwhichensuresthatforeachsystemrunitisclearwhatarethecausalpredecessorsofanevent(i.e. there is no causal ambiguity). In this contribution w...

Rom Langerak, Ed Brinksma, Joost-Pieter Katoen

claim paper

Read More »

click to vote

CONCUR
1993
Springer

86views Distributed And Parallel Com...» more CONCUR 1993»

A Generalized Event Structure for the Muller Unfolding of a Safe Net

13 years 11 months ago

Download www.hpl.hp.com

Jeremy Gunawardena

claim paper

Read More »

click to vote

ERSHOV
1993
Springer

112views Theoretical Computer Science» more ERSHOV 1993»

Observing Some Properties of Event Structures

13 years 11 months ago

Download www.iis.nsk.su

Irina Virbitskaite

claim paper

Read More »

click to vote

CONCUR
1995
Springer

90views Distributed And Parallel Com...» more CONCUR 1995»

A Complete Theory of Deterministic Event Structures

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers