Sciweavers

1086 search results - page 30 / 218

» Event Structures with Symmetry

148

PACT
2005
Springer

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

Real-Time Event Structures and Scott Domains

16 years 24 days ago

Real-Time Event Structures and Scott Domains

Download www.iis.nsk.su

R. S. Dubtsov

claim paper

Read More »

159

Voted

CONCUR
1999
Springer

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

Event Structures as Presheaves -Two Representation Theorems

15 years 11 months ago

Event Structures as Presheaves -Two Representation Theorems

Download www.brics.dk

Glynn Winskel

claim paper

Read More »

137

Voted

ESSLLI
1999
Springer

105views Automated Reasoning» more ESSLLI 1999»

Event Structure and Support Verb Constructions

15 years 11 months ago

Event Structure and Support Verb Constructions

Download folli.loria.fr

Tavs Bjerre

claim paper

Read More »

197

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

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

15 years 11 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 »

155

CONCUR
1997
Springer

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

Causal Ambiguity and Partial Orders in Event Structures

15 years 11 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 »