4460 search results - page 280 / 892 » Resources in process algebra |
167
click to vote
ENTCS
2010
15 years 6 months ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
134
click to vote
ENTCS
2010
15 years 6 months ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
134
click to vote
ENTCS
2008
15 years 6 months ago
2008
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
138
click to vote
FUIN
2007
15 years 6 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
137
click to vote
IJBC
2007
15 years 6 months ago
2007
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...