1413 search results - page 10 / 283 » Bisimilarity of Open Terms |
88
Voted
TACAS
1997
Springer
15 years 4 months ago
1997
Springer
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...
100
Voted
CORR
2012
Springer
13 years 8 months ago
2012
Springer
Molecular biology data are subject to terms of use that vary widely between databases and curating institutions. This research presents a taxonomy of contractual and technical res...
99
Voted
ASIAN
1998
Springer
15 years 5 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
69
Voted
ENTCS
2006
15 years 21 days ago
2006
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 ...
127
Voted
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...