950 search results - page 22 / 190 » Process Algebra in PVS |
105
click to vote
ENTCS
2007
15 years 1 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
118
Voted
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
106
Voted
ECSA
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
126
Voted
TSP
2010
14 years 8 months ago
2010
We derive a signal processing framework, called space signal processing, that parallels time signal processing. As such, it comes in four versions (continuous/discrete, infinite/fi...
123
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...