49 search results - page 1 / 10 » Mixed Transition Systems Revisited |
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
ENTCS
2008
13 years 4 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
CONCUR
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Almost 20 years after the original conception, we revisit several fundamental questions about modal transition systems. First, we demonstrate the incompleteness of the st...
ENTCS
2007
13 years 4 months ago
2007
The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...
COMPLEXITY
2006
13 years 4 months ago
2006
Statistical physics, computer simulation and discrete mathematics are intimately related through the study of shared lattice models. These models lie at the foundation of all thre...