Axelle Ziegler, Dale Miller, Catuscia Palamidessi
congruence format for name-passing calculi
A Congruence Format for Name-passing Calculi (2006)
Ziegler, Axelle, Miller, Dale, Palamidessi, Catuscia
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of the difficulties...
A Congruence Format for Name-passing Calculi (2006)
Ziegler, Axelle, Miller, Dale, Palamidessi, Catuscia
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of the difficulties...
A Congruence Format for Name-passing Calculi (2006)
Ziegler, Axelle, Miller, Dale, Palamidessi, Catuscia
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of the difficulties...
A Congruence Format for Name-passing Calculi (2006)
Ziegler, Axelle, Miller, Dale, Palamidessi, Catuscia
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of the difficulties...