526 search results - page 1 / 106 » Type Abstractions of Name-Passing Processes |
50
Voted
FSEN
2007
Springer
15 years 4 months ago
2007
Springer
103
Voted
LICS
2006
IEEE
15 years 4 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
84
Voted
CPP
2011
13 years 10 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
113
Voted
ENTCS
2002
14 years 10 months ago
2002
d Abstract) Naoshi Tabuchi Eijiro Sumii Akinori Yonezawa 1 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo We present re...
87
Voted
CPP
2011
13 years 10 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...