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
pp.27–38
Elsevier
DOI 10.1016/j.entcs.2004.11.040
Abstract

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
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.