1788 search results - page 87 / 358 » Model Theory for Process Algebra |
143
click to vote
ENTCS
2006
15 years 3 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
146
click to vote
ENTCS
2006
15 years 3 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
116
Voted
SYNASC
2007
IEEE
15 years 9 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
JSC
2006
15 years 3 months ago
2006
Changing base composition during the evolution of biological sequences can mislead some of the phylogenetic inference techniques in current use. However, detecting whether such a ...
129
click to vote
MASCOTS
2003
15 years 4 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...