7109 search results - page 192 / 1422 » Process Algebra with Combinators |
116
Voted
TCS
2008
15 years 3 months 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...
122
Voted
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
137
Voted
CN
2006
15 years 3 months 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...
161
Voted
CN
1999
15 years 3 months 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 ...
127
Voted
JASIS
2002
15 years 3 months ago
2002
In this paper we report on a series of experiments designed to investigate the combination of term and document weighting functions in Information Retrieval. We describe a series ...