4460 search results - page 41 / 892 » Resources in process algebra |
117
click to vote
SIP
2001
15 years 5 months ago
2001
The paper presents basic concepts of the discrete system theory from the viewpoint of Banach algebras and shows that some Banach algebras of sequences are not only suitable mathem...
170
click to vote
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
125
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
104
click to vote
INFORMATICALT
2006
15 years 4 months ago
2006
Abstract. Localization is a complex process based on translation and adaptation of software features. Usually localization progress is identified with the number of translated reso...
130
click to vote
ENTCS
2006
15 years 4 months ago
2006
A process is extensionally deterministic if, after any trace s and given any event a, it is either certain to accept or certain to refuse a (stably) after s. We show how several p...