381 search results - page 3 / 77 » SOS for Higher Order Processes |
120
Voted
TLCA
2007
Springer
15 years 9 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...
114
Voted
CORR
2010
Springer
15 years 2 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...
106
Voted
GC
2004
Springer
15 years 8 months ago
2004
Springer
126
Voted
APLAS
2010
ACM
15 years 3 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...
MP
2008
15 years 2 months ago
2008