37 search results - page 4 / 8 » Sound Bisimulations for Higher-Order Distributed Process Cal... |
121
Voted
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
103
Voted
JLP
2007
15 years 1 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
103
Voted
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
Sound field reproduction methods like higher order Ambisonics which are based on orthogonal expansions always introduce a limitation of the spatial bandwidth of the secondary sou...
142
Voted
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
106
Voted
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...