some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

SPECIAL ISSUE:
18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015) (in progress)



Preface


Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
Konstantinos Mamouras


Coalgebraic trace semantics via forgetful logics
Bartek Klin and Jurriaan Rot


Compositional metric reasoning with Probabilistic Process Calculi
Daniel Gebler, Simone Tini and Kim G Larsen


Creative Commons