3690 search results - page 233 / 738 » Computation with classical sequents |
ASM
2003
ASM
15 years 6 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
109
click to vote
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
108
click to vote
GD
2003
Springer
15 years 6 months ago
2003
Springer
Hex is a classic board game for two players. There exists an intuitive mapping of the state of a hex game onto a graph. The motivation of the work presented in this paper was to cr...
96
Voted
HUC
2003
Springer
15 years 6 months ago
2003
Springer
Ubicomp environments impose tough constraints on networks, including immediate communication, low energy consumption, minimal maintenance and administration. With the AwareCon netw...
102
click to vote
APN
2001
Springer
15 years 5 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...