498 search results - page 52 / 100 » On the Category of Petri Net Computations |
100
Voted
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
110
click to vote
TCAD
1998
15 years 9 days ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
95
Voted
FAC
2002
15 years 13 days ago
2002
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...
119
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...