4353 search results - page 97 / 871 » Expressiveness of Process Algebras |
129
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
135
click to vote
COLING
2008
15 years 5 months ago
2008
We present the TARSQI Toolkit (TTK), a modular system for automatic temporal and event annotation of natural language texts. TTK identifies temporal expressions and events in natu...
134
click to vote
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes an algebra for use with parallel object databases, and in particular ODMG compliant databases with OQL. Although there have been many proposals for parallel r...
143
click to vote
FUIN
2008
15 years 4 months ago
2008
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
114
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...