Sciweavers

23557 search results - page 372 / 4712
» Distributed Computing - Introduction
Sort
View
79
Voted
CONCUR
2008
Springer
15 years 5 months ago
Environment Assumptions for Synthesis
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
CONCUR
2008
Springer
15 years 5 months ago
Quasi-Static Scheduling of Communicating Tasks
Philippe Darondeau, Blaise Genest, P. S. Thiagaraj...
CONCUR
2008
Springer
15 years 5 months ago
Normed BPA vs. Normed BPP Revisited
Petr Jancar, Martin Kot, Zdenek Sawa
107
Voted
CONCUR
2008
Springer
15 years 5 months ago
A Rule Format for Associativity
Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Re...
89
Voted
COORDINATION
2008
Springer
15 years 5 months ago
A Formal Account of WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco T...