656 search results - page 57 / 132 » A Formalization of Transition P Systems |
101
Voted
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
121
Voted
FORMATS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
96
Voted
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
109
Voted
SAS
2005
Springer
15 years 6 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
119
Voted
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Continuous-time Markov decision process are an important variant of labelled transition systems having nondeterminism through labels and stochasticity through exponential...