Equivalence of Processes in Partially Commutative Object-Oriented Environments

DOI10.3233/FI-2010-372zbMath1209.68337MaRDI QIDQ3084991

A. S. Shoukourian, Hayk A. Grigoryan

Publication date: 28 March 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

processmodel equationregular expressionobject-oriented environmentpartially commutativeenvironment modelequivalence of processesmultitape multidimensional automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Equivalence of Processes in Partially Commutative Object-Oriented Environments