Computing Publications

Publications Home » Continuous-Time Probabilistic KLAIM

Continuous-Time Probabilistic KLAIM

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Conference or Workshop Paper
2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)
May, 2005
Electronic Notes in Theoretical Computer Science
Volume 128
Issue 5
DOI 10.1016/j.entcs.2004.11.040

Keywords: Distributed programming; Probabilistic semantics; Continuous-time Markov chains

PDF of full publication (228 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.