A congruence format for name-passing calculi

A congruence format for name-passing calculi (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Axelle Ziegler , Dale Miller , Catuscia Palamidessi

Venue:	In Proceedings of the Second Workshop on Structural Operational Semantics (SOS’05), volume 156 of Electron. Notes Theor. Comput. Sci
Citations:	13 - 3 self

BibTeX

@INPROCEEDINGS{Ziegler05acongruence,
    author = {Axelle Ziegler and Dale Miller and Catuscia Palamidessi},
    title = {A congruence format for name-passing calculi},
    booktitle = {In Proceedings of the Second Workshop on Structural Operational Semantics (SOS’05), volume 156 of Electron. Notes Theor. Comput. Sci},
    year = {2005},
    pages = {169--189}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1182	A structural approach to operational semantics - Plotkin - 1981
933	A calculus of mobile processes - Milner, Parrow, et al. - 1992
728	A formulation of the simple theory of types - Church - 1940
367	The ⇡-calculus: A Theory of Mobile Processes - Sangiorgi, Walker - 2001
174	A new approach to abstract syntax with variable binding. Formal Aspects of Computing 13 - GABBAY, PITTS - 2001
169	Bisimulation Can’t Be Traced - Bloom, Istrael, et al. - 1995
130	Abstract Syntax and Variable Binding - Fiore - 1999
103	A congruence theorem for structured operational semantics with predicates - Baeten, Verhoef - 1993
102	Proving congruence of bisimulation in functional programming languages - Howe - 1996
94	B.: The fusion calculus: Expressiveness and symmetry in mobile processes - Parrow, Victor - 1998
44	Plain CHOCS, a second generation calculus for higher-order processes - Thomsen - 1993
38	A proof theory for generic judgments: An extended abstract - Miller, Tiu
34	A congruence theorem for structured operational semantics of higher-order languages - Bernstein - 1998
29	A logical framework for reasoning about logical specifications - Tiu - 2004
21	An introduction to the pi-calculus - Parrow - 2001
15	Catuscia Palamidessi. Encoding transition systems in sequent calculus - McDowell, Miller
13	Model checking for π-calculus using proof search - Tiu
12	U.: D-fusion: A distinctive fusion calculus - Boreale, Buscemi, et al. - 2004
11	A higher-order specification of the π-calculus - Despeyroux
7	Friiso Groote and Frits Vaandrager, Structured operational semantics and bisimulation as a congruence - Jan
1	higher order precesses - for
1	Mixing finite success and finite failure - Tiu, Nadathur, et al. - 2005
1	Un format pour que la bisimulation soit une congruence dans les langages de processus avec mobilité - Ziegler
1	Palamidessi [GV92] Jan Friso Groote and Frits Vaandrager. Structured operational semantics and bisimulation as a congruence - Ziegler - 1992
1	Palamidessi [Par01] Joachim Parrow. An introduction to the pi-calculus - Ziegler - 2001
1	Palamidessi [GV92] Jan Friso Groote and Frits Vaandrager. Structured operational semantics and bisimulation as a congruence - Miller - 1992
1	version 1 - 23 Dec 2007 [MN87] Dale Miller and Gopalan Nadathur. A logic programming approach to manipulating formulas and programs - inria-00201085 - 1987
1	version 1 - 23 Dec 2007 [Tiu05] Alwen Tiu. Model checking for π-calculus using proof search - inria-00201085 - 2005
1	where f is a constructor of type γ1 → · · · → γn → p. In the first case, one unfolding of the definition for bisim yields (via the left-introduction rule for definitions) the sequent P : p, Q: p ; B bisim P Q ⊢ B congr P Q. Given the definition of congr, - respectively
1	If T is of the form f(T1 - then