×

Found 7 Documents (Results 1–7)

Typed linear algebra for weigthed (probabilistic) automata. (English) Zbl 1297.68161

Moreira, Nelma (ed.) et al., Implementation and application of automata. 17th international conference, CIAA 2012, Porto, Portugal, July 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31605-0/pbk). Lecture Notes in Computer Science 7381, 52-65 (2012).
PDFBibTeX XMLCite
Full Text: DOI Link

A single complete relational rule for coalgebraic refinement. (English) Zbl 1342.68241

Boiten, Eerke (ed.) et al., Proceedings of the 14th BCS-FACS refinement workshop (REFINE 2009), Eindhoven, The Netherlands, November 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 259, 3-19 (2009).
MSC:  68Q85 18B20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software