2227 search results - page 231 / 446 » Reversibility and Models for Concurrency |
122
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
115
Voted
DLT
2007
15 years 2 months ago
2007
Visibly Pushdown Automata (VPA) are a special case of pushdown machines where the stack operations are driven by the input. In this paper, we consider VPA with two stacks, namely 2...
115
Voted
TOMCCAP
2008
15 years 15 days ago
2008
Periodic broadcast protocols enable the efficient streaming of highly popular media files to large numbers of concurrent clients. Most previous periodic broadcast protocols, howeve...
117
Voted
COMPUTER
2000
15 years 13 days ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
111
Voted
TELSYS
2002
15 years 8 days ago
2002
The path recovery in MPLS is the technique to reroute traffic around a failure or congestion in a LSP. Currently, there are two kinds of model for path recovery: rerouting and prot...