3239 search results - page 60 / 648 » A Logical Process Calculus |
113
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
CSL
2004
Springer
15 years 6 months ago
2004
Springer
The aim of this work is to give an alternative presentation for the multiplicative fragment of Yetter’s cyclic linear logic. The new presentation is inspired by the calculus of s...
107
click to vote
ICALP
1998
Springer
15 years 4 months ago
1998
Springer
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisim...
111
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
102
Voted
EMNLP
2011
14 years 9 days ago
2011