1413 search results - page 7 / 283 » Bisimilarity of Open Terms |
127
Voted
ICSE
2012
IEEE-ACM
13 years 3 months ago
2012
IEEE-ACM
—To survive and succeed, software projects need to attract and retain contributors. We model the individual’s chances to become a valuable contributor through her capacity, wil...
103
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
137
Voted
PAM
2012
Springer
13 years 8 months ago
2012
Springer
Recent efforts in software-defined networks, such as OpenFlow, give unprecedented access into the forwarding plane of networking equipment. When building a network based on OpenFl...
120
click to vote
RTA
2010
Springer
15 years 4 months ago
2010
Springer
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...
119
click to vote
CSFW
2010
IEEE
15 years 3 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...