FOSSACS 1999 | Sciweavers

23

FOSSACS
1999
Springer

89views Software Engineering» more FOSSACS 1999»

Probabilistic Temporal Logics via the Modal Mu-Calculus

13 years 11 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 »

17

click to vote

FOSSACS
1999
Springer

69views Software Engineering» more FOSSACS 1999»

Equational Properties of Mobile Ambients

13 years 11 months ago

Download lucacardelli.name

Andrew D. Gordon, Luca Cardelli

claim paper

Read More »

20

click to vote

FOSSACS
1999
Springer

87views Software Engineering» more FOSSACS 1999»

A Strong Logic Programming View for Static Embedded Implications

13 years 11 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 »

21

click to vote

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

13 years 11 months ago