5409 search results - page 180 / 1082 » Basic Observables for Processes |
100
click to vote
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...
109
click to vote
EACL
2003
ACL Anthology
15 years 4 months ago
2003
ACL Anthology
CLaRK is an XML-based software system for corpora development. It incorporates several technologies: XML technology; Unicode; Regular Cascaded Grammars; Constraints over XML Docum...
111
click to vote
BSL
2006
15 years 2 months ago
2006
We give a self-contained and streamlined version of the classification of the provably computable functions of PA. The emphasis is put on illuminating as good as seems possible th...
113
click to vote
ENTCS
2002
15 years 2 months ago
2002
The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabili...
145
click to vote
ECWEB
2005
Springer
15 years 8 months ago
2005
Springer
We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Abstraction Process, Service Compos...