Volume 85, Numbers 1-4, 2008
Concurrency Specification and Programming (CS&P)
: Boolean Algebra of Nets, their Synthesis and Analysis.
: Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach.
, Leo Ojala
: Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets.
: An Algebraic Framework for Defining Random Concurrent Behaviours.
: Distance Measures Induced by Finite Approximation Spaces and Approximation Operators.