27 search results - page 6 / 6 » Strong Splitting Bisimulation Equivalence |
IANDC
2006
13 years 5 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
NDJFL
1998
13 years 5 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...