Sciweavers

1086 search results - page 30 / 218

» Event Structures with Symmetry

21

PACT
2005
Springer

89views Distributed And Parallel Com...» more PACT 2005»

Real-Time Event Structures and Scott Domains

14 years 3 months ago

Real-Time Event Structures and Scott Domains

Download www.iis.nsk.su

R. S. Dubtsov

claim paper

Read More »

21

CONCUR
1999
Springer

85views Distributed And Parallel Com...» more CONCUR 1999»

Event Structures as Presheaves -Two Representation Theorems

14 years 2 months ago

Event Structures as Presheaves -Two Representation Theorems

Download www.brics.dk

Glynn Winskel

claim paper

Read More »

23

ESSLLI
1999
Springer

105views Automated Reasoning» more ESSLLI 1999»

Event Structure and Support Verb Constructions

14 years 2 months ago

Event Structure and Support Verb Constructions

Download folli.loria.fr

Tavs Bjerre

claim paper

Read More »

37

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

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

14 years 2 months ago

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

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

23

CONCUR
1997
Springer

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

Causal Ambiguity and Partial Orders in Event Structures

14 years 2 months ago

Causal Ambiguity and Partial Orders in Event Structures

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 »

« Prev « First page 30 / 218 Last » Next »