7288 search results - page 144 / 1458 » On process rate semantics |
145
click to vote
FORTE
2001
15 years 7 months ago
2001
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to da...
248
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
165
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Enabling technology for realizing ad-hoc business processes currently is becoming more and more popular, like for example web services. Ad-hoc business processes are semantically c...
148
click to vote
QUESTA
2006
15 years 6 months ago
2006
In this paper we consider nonhomogeneous birth and death processes (BDP) with periodic rates. Two important parameters are studied, which are helpful to describe a nonhomogeneous B...
134
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...