Search Sciweavers | Sciweavers

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

Rom Langerak, Ed Brinksma, Joost-Pieter Katoen

claim paper

Read More »

118

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

15 years 8 months ago

Download www.hpl.hp.com

Jeremy Gunawardena

claim paper

Read More »

131

click to vote

ERSHOV
1993
Springer

112views Theoretical Computer Science» more ERSHOV 1993»

Observing Some Properties of Event Structures

15 years 8 months ago

Download www.iis.nsk.su

Irina Virbitskaite

claim paper

Read More »

123

click to vote

CONCUR
1995
Springer

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

A Complete Theory of Deterministic Event Structures

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers