Possible worlds process algebras
S Veglioni, R De Nicola - International Conference on Concurrency …, 1998 - Springer
… equivalent possible weak … Process Algebras. In Section 3, we describe denotational and
operational semantics and exhibit the complete axiomatization of what we call possible worlds …
operational semantics and exhibit the complete axiomatization of what we call possible worlds …
[BOOK][B] Handbook of process algebra
… The (denotational) notion of possible worlds semantics of Veglioni and De Nicola [49] fits
between ready trace and ready simulation semantics. Finally 2-nested simulation semantics, …
between ready trace and ready simulation semantics. Finally 2-nested simulation semantics, …
Possible worlds and resources: the semantics of BI
DJ Pym, PW O'Hearn, H Yang - Theoretical Computer Science, 2004 - Elsevier
… We have seen how a basic model of resource corresponds to the algebra worlds required
for BI’s possible worlds semantics. We have explained some of the theory but also described a …
for BI’s possible worlds semantics. We have explained some of the theory but also described a …
Counterfactuals without possible worlds
R Turner - Journal of Philosophical Logic, 1981 - JSTOR
… , intersection ation operations of the algebra where as 0, 1 are the ze elements; a < b is
defined to be true exactly when an In the context of Boolean algebras we can summarise the …
defined to be true exactly when an In the context of Boolean algebras we can summarise the …
[PDF][PDF] On the Completeness of S4 and the Algebra of Possible Worlds
J Silver - 2012 - nessiness.com
… The unary operation satisfying these four postulates is called the closure algebra’s closure
operation. We can now extend the notion of a closure algebra to a matrix by simply including …
operation. We can now extend the notion of a closure algebra to a matrix by simply including …
Ultraproducts and possible worlds semantics in institutions
R Diaconescu, P Stefaneas - Theoretical Computer Science, 2007 - Elsevier
… , and linguistics, possible worlds semantics have been … 30], process algebra [31,32] and the
temporal logic’s approach to concurrency [33–35]. In this paper we introduce possible worlds …
temporal logic’s approach to concurrency [33–35]. In this paper we introduce possible worlds …
Priority in process algebra
R Cleaveland, G Löttgen, V Natarajan - Handbook of process algebra, 2001 - Elsevier
… , the definition of ≈ × reflects an intuitive approach to abstracting from internal computation,
and consequently we wish to develop a congruence that is as “close” to ≈ × as possible. …
and consequently we wish to develop a congruence that is as “close” to ≈ × as possible. …
Finite equational bases in process algebra: Results and open questions
… the setting of the basic process algebra BCCSP, and tried to … in axiomatizations for richer
process algebras with constructs … semantics based on possible futures and on possible worlds. …
process algebras with constructs … semantics based on possible futures and on possible worlds. …
Dynamic algebras: Examples, constructions, applications
V Pratt - Studia Logica, 1991 - Springer
… set of possible worlds, or states), let/3 be the power set algebra on W. Then the full Kripke
structure on W is the completely full dynamic algebra on /3, a separable dynamic algebra. A …
structure on W is the completely full dynamic algebra on /3, a separable dynamic algebra. A …
[PDF][PDF] Belief in Process Algebra
V Vishal - 2012 - win.tue.nl
… flexible than the traditional Process Algebras and labeled transistion system, in the sense
that whatever was possible in later, is still possible and has the same meaning in the former. …
that whatever was possible in later, is still possible and has the same meaning in the former. …