1788 search results - page 87 / 358 » Model Theory for Process Algebra |
113
Voted
ENTCS
2006
15 years 21 days 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 ...
124
click to vote
ENTCS
2006
15 years 21 days 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...
89
Voted
SYNASC
2007
IEEE
15 years 7 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...
77
Voted
JSC
2006
15 years 19 days 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 ...
106
Voted
MASCOTS
2003
15 years 2 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...