3239 search results - page 130 / 648 » A Logical Process Calculus |
99
Voted
ENTCS
2002
15 years 17 days ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
91
Voted
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
97
Voted
FCT
2007
Springer
15 years 7 months ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
83
Voted
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...