scientific article

zbMath0745.68071MaRDI QIDQ3979473

George Andrei Mihǎilǎ, Virgil Emil Căzănescu

Publication date: 26 June 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

feedbackpartially ordered structuressimulation equivalenceflowchart algorithm semanticsordered biflowspartial schemessymmetric strict monoidal categories

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization