1532 search results - page 177 / 307 » An Algebraic Process Calculus |
175
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
112
click to vote
EUSFLAT
2003
15 years 6 months ago
2003
This paper regards the recurrent linguistic rule bases. These systems are considered as relational models with several relations. Such representation allows to use relation algebr...
125
click to vote
ENTCS
2007
15 years 4 months 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 ...
134
click to vote
FUIN
2007
15 years 4 months 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...
127
click to vote
TCS
2008
15 years 4 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...