942 search results - page 55 / 189 » Process Algebraic Non-product-forms |
125
click to vote
CSFW
2000
IEEE
15 years 2 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
ATAL
2003
Springer
15 years 3 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...
IPPS
2006
IEEE
15 years 3 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...
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
ACSD
2006
IEEE
15 years 3 months ago
2006
IEEE
an Algebra of Abstractions for Communicating Processes M. Koutny, Giuseppe Pappalardo and M. Pietkiewicz-Koutny. TECHNICAL REPORT SERIES No. CS-TR-949 Febuary, 2006 NEWCASTLE UN IV...