[图书][B] Interactive markov chains
H Hermanns, H Hermanns - 2002 - Springer
This chapter introduces the central formalism of this book, Interactive Markov Chains 1
(IMC). It arises as an integration of interactive processes and continuous-time Markov …
(IMC). It arises as an integration of interactive processes and continuous-time Markov …
Secure implementation of channel abstractions
Communication in distributed systems often relies on useful abstractions such as channels,
remote procedure calls, and remote method invocations. The implementations of these …
remote procedure calls, and remote method invocations. The implementations of these …
Specification and verification for concurrent systems with graphical and textual editors
R Cleaveland, SA Smolka, PM Lewis… - US Patent …, 2002 - Google Patents
Software for, and a method of using a computer for, Speci fying and Verifying Synchronous
and asynchronous concur rent Systems. The method comprises Specifying Software in a …
and asynchronous concur rent Systems. The method comprises Specifying Software in a …
A logical process calculus
R Cleaveland, G Lüttgen - Electronic Notes in Theoretical Computer …, 2002 - Elsevier
This paper presents the Logical Process Calculus (LPC), a formalism that supports
heterogeneous system specifications containing both operational and declarative …
heterogeneous system specifications containing both operational and declarative …
[引用][C] Department of Computer Science, State Univ. of New York at Stony Brook, USA
ALP Calculus, R Cleaveland - Electronic Notes in Theoretical Computer Science, 2002