1418 search results - page 199 / 284 » The Dynamic Complexity of Formal Languages |
172
Voted
FSTTCS
1999
Springer
15 years 9 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
143
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
159
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
128
click to vote
POPL
1991
ACM
15 years 8 months ago
1991
ACM
-order multiparty interaction is an abstraction mechanism that defines communication among a set of formal process roles. Actual processes participate in a first-order interactio...
146
click to vote
LMO
1996
15 years 6 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...