4047 search results - page 407 / 810 » Algebraic Model Checking |
197
click to vote
FUIN
2002
15 years 6 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
245
click to vote
JCSC
1998
15 years 6 months ago
1998
: Continuous and hybrid Petri nets can be seen as relaxation of discrete nets, in which the firing of some or of all transitions is approximated with a fluid model. Several analysi...
193
click to vote
SIAMCOMP
2002
15 years 6 months ago
2002
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
191
click to vote
SAC
2003
ACM
16 years 2 days ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
148
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...