Concurrent Kleene algebra with tests and branching automata

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of logical and algebraic methods in programming Jg. 85; H. 4; S. 637 - 652
Hauptverfasser:	Jipsen, Peter, Moshier, M. Andrew
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.06.2016
ISSN:	2352-2208
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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