3239 search results - page 17 / 648 » A Logical Process Calculus |
108
Voted
NJC
2002
15 years 3 days ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
118
Voted
ENTCS
2007
15 years 12 days ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
99
Voted
MFCS
2000
Springer
15 years 4 months ago
2000
Springer
We introduce explicit fusions of names. To `fuse' two names is to declare that they may be used interchangeably. An explicit fusion is one that can exist in parallel with som...
85
Voted
ACSC
2006
IEEE
15 years 4 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...