FOSSACS 1999 | Sciweavers

43

FOSSACS
1999
Springer

89views Software Engineering» more FOSSACS 1999»

Probabilistic Temporal Logics via the Modal Mu-Calculus

14 years 5 months ago

This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...

Murali Narasimha, Rance Cleaveland, S. Purushotham...

claim paper

Read More »

29

click to vote

FOSSACS
1999
Springer

69views Software Engineering» more FOSSACS 1999»

Equational Properties of Mobile Ambients

14 years 5 months ago

Download lucacardelli.name

Andrew D. Gordon, Luca Cardelli

claim paper

Read More »

38

click to vote

FOSSACS
1999
Springer

87views Software Engineering» more FOSSACS 1999»

A Strong Logic Programming View for Static Embedded Implications

14 years 5 months ago

Download www.sc.ehu.es

Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: ﬁrstly, any pro...

R. Arruabarrena, Paqui Lucio, Marisa Navarro

claim paper

Read More »

29

click to vote

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

14 years 5 months ago