381 search results - page 3 / 77 » SOS for Higher Order Processes |
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
85
Voted
GC
2004
Springer
15 years 5 months ago
2004
Springer
APLAS
2010
ACM
14 years 12 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
64
Voted
MP
2008
14 years 11 months ago
2008