211 search results - page 6 / 43 » Causal Behaviours and Nets |
APN
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
APN
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
ICEIS
2007
IEEE
14 years 2 months ago
2007
IEEE
CALCO
2007
Springer
14 years 1 months ago
2007
Springer
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
