942 search results - page 67 / 189 » Process Algebraic Non-product-forms |
86
Voted
ENTCS
2007
15 years 21 days ago
2007
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...
FUIN
2007
15 years 21 days ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
93
Voted
TCS
2008
15 years 19 days ago
2008
We show that the class of Petri nets is less expressive with respect to bisimulation equivalence than the class of PA processes extended with a finite state control unit. Key word...
107
Voted
CN
2006
15 years 24 days ago
2006
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
129
Voted
CN
1999
15 years 12 days ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...