557 search results - page 13 / 112 » Calculi for Service-Oriented Computing |
AINA
2008
IEEE
15 years 11 months ago
2008
IEEE
ICDCSW
2002
IEEE
15 years 10 months ago
2002
IEEE
140
click to vote
FOSSACS
2007
Springer
15 years 11 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...
124
click to vote
TABLEAUX
1999
Springer
15 years 9 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 -...
113
Voted
IEEESCC
2008
IEEE
15 years 11 months ago
2008
IEEE
