39 search results - page 3 / 8 » Uniform confluence in concurrent computation |
SCP
1998
13 years 5 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
ESOP
2009
Springer
14 years 4 days ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
APN
2001
Springer
13 years 10 months ago
2001
Springer
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
Software transactional memory systems enable a programmer to easily write concurrent data structures such as lists, trees, hashtables, and graphs, where non-conflicting operation...
ICDCS
1990
IEEE
13 years 9 months ago
1990
IEEE
This paper develops some control structures suitable for composing fault-tolerant distrib uted applications using atomic actions (atomic transactions) as building blocks, and then...