2173 search results - page 44 / 435 » An operational semantics for skeletons |
115
click to vote
FUIN
2008
15 years 18 days 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
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Semantic service discovery architectures that operate in mobile environments must cope with the significant challenges of finding relevant services rapidly, while facing constrain...
116
Voted
ACSD
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...
98
Voted
AUSAI
2007
Springer
15 years 4 months ago
2007
Springer
Planning as satisfiability is a powerful approach to solving domain independent planning problems. In this paper, we consider a relaxed semantics for plans with parallel operator a...
93
Voted
ENTCS
2007
15 years 15 days ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...