Search Sciweavers | Sciweavers

21

CSFW
2010
IEEE

227views Security Privacy» more CSFW 2010»

Automating Open Bisimulation Checking for the Spi Calculus

13 years 9 months ago

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...

Alwen Tiu, Jeremy E. Dawson

claim paper

Read More »

16

click to vote

IFIPTCS
2000

108views Theoretical Computer Science» more IFIPTCS 2000»

Open Ended Systems, Dynamic Bisimulation and Tile Logic

13 years 10 months ago

Download eprints.ecs.soton.ac.uk

Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...

Roberto Bruni, Ugo Montanari, Vladimiro Sassone

claim paper

Read More »

17

click to vote

AOSD
2007
ACM

114views Software Engineering» more AOSD 2007»

Open bisimulation for aspects

13 years 10 months ago

Download condor.depaul.edu

We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...

Radha Jagadeesan, Corin Pitcher, James Riely

claim paper

Read More »

14

click to vote

ESOP
2008
Springer

137views Programming Languages» more ESOP 2008»

Open Bisimulation for the Concurrent Constraint Pi-Calculus

13 years 8 months ago

Download rap.dsi.unifi.it

Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...

Maria Grazia Buscemi, Ugo Montanari

claim paper

Read More »

11

click to vote

LICS
1999
IEEE

78views Automated Reasoning» more LICS 1999»

Weak Bisimulation and Open Maps

13 years 10 months ago