Concurrent Kleene algebra with tests and branching automata

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 85; no. 4; pp. 637 - 652
Main Authors Jipsen, Peter, Moshier, M. Andrew
Format Journal Article
LanguageEnglish
Published 01.06.2016
Online AccessGet full text

Cover

More Information
ISSN:2352-2208
DOI:10.1016/j.jlamp.2015.12.005