557 search results - page 13 / 112 » Calculi for Service-Oriented Computing |
AINA
2008
IEEE
14 years 3 months ago
2008
IEEE
ICDCSW
2002
IEEE
14 years 1 months ago
2002
IEEE
FOSSACS
2007
Springer
14 years 3 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
TABLEAUX
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π0 1 -formulae and Π0 2 -...
IEEESCC
2008
IEEE
14 years 3 months ago
2008
IEEE
