×

Found 3 Documents (Results 1–3)

The algebraic feedback product of automata. A state machine based model of concurrent systems. (English) Zbl 0789.68101

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 591-613 (1991).
MSC:  68Q70 68Q05 68Q10
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field

Software