9 search results - page 1 / 2 » An Introduction to the Theoretical Aspects of Coloured Petri... |
100
Voted
REX
1993
15 years 4 months ago
1993
APN
1997
Springer
15 years 4 months ago
1997
Springer
79
Voted
TACAS
1997
Springer
15 years 4 months ago
1997
Springer
102
click to vote
APN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
112
Voted
ACSC
2009
IEEE
15 years 4 months ago
2009
IEEE
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...