scholarly journals Trace Semantics via Determinization

2012 ◽  
pp. 109-129 ◽  
Author(s):  
Bart Jacobs ◽  
Alexandra Silva ◽  
Ana Sokolova
Keyword(s):  
Trace Semantics

Trace Semantics for IPDL

2015 ◽  
pp. 169-181
Author(s):  
Fengkui Ju ◽  
Nana Cui ◽  
Shujiao Li
Keyword(s):  
Trace Semantics

scholarly journals Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator

1987 ◽  
Vol 30 (6) ◽  
pp. 498-506 ◽  
Author(s):  
J. C. M. Baeten ◽  
J. A. Bergstra ◽  
J. W. Klop
Keyword(s):  
Process Algebra ◽  
Trace Semantics

scholarly journals Modal logic and the approximation induction principle

2012 ◽  
Vol 22 (2) ◽  
pp. 175-201 ◽  
Author(s):  
MACIEJ GAZDA ◽  
WAN FOKKINK
Keyword(s):  
Modal Logic ◽  
Upper Bounds ◽  
Compactness Theorem ◽  
Projection Operators ◽  
Sufficient Condition ◽  
Induction Principle ◽  
Constructive Version ◽  
Trace Semantics

We prove a compactness theorem in the context of Hennessy–Milner logic and use it to derive a sufficient condition on modal characterisations for the approximation induction principle to be sound modulo the corresponding process equivalence. We show that this condition is necessary when the equivalence in question is compositional with respect to the projection operators. Furthermore, we derive different upper bounds for the constructive version of the approximation induction principle with respect to simulation and decorated trace semantics.

scholarly journals Trace Semantics for Stochastic Systems with Nondeterminism

2006 ◽  
Vol 164 (3) ◽  
pp. 187-204 ◽  
Author(s):  
Verena Wolf ◽  
Christel Baier ◽  
Mila Majster-Cederbaum
Keyword(s):  
Stochastic Systems ◽  
Trace Semantics
Sign in / Sign up

Export Citation Format

Share Document