FOSSACS 1999 | Sciweavers

14

FOSSACS
1999
Springer

89views Software Engineering» more FOSSACS 1999»

Probabilistic Temporal Logics via the Modal Mu-Calculus

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

10

click to vote

FOSSACS
1999
Springer

69views Software Engineering» more FOSSACS 1999»

Equational Properties of Mobile Ambients

13 years 8 months ago

Download lucacardelli.name

Andrew D. Gordon, Luca Cardelli

claim paper

Read More »

10

click to vote

FOSSACS
1999
Springer

87views Software Engineering» more FOSSACS 1999»

A Strong Logic Programming View for Static Embedded Implications

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

11

click to vote

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

13 years 8 months ago