Unifying behavioral equivalences of timed transition systems

By Virbitskaite I.   Gribovskaya N.  

Programming and Computer Software, Vol. 36, Iss. 3, 2010-05 ,pp. : 138-148

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Algebraic tools for the concatenation product

By Pin J.-E.  

Theoretical Computer Science, Vol. 292, Iss. 1, 2003-01 ,pp. : 317-342

Elsevier

Access to resources Recommend Favorite

Deciding bisimulation and trace equivalences for systems with many identical processes

By Yen H.-C.   Jian S.-T.   Lao T.-P.  

Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. : 445-464

Elsevier

Access to resources Recommend Favorite

Algebraic specification of reactive systems

By Broy M.  

Theoretical Computer Science, Vol. 239, Iss. 1, 2000-05 ,pp. : 3-40

Elsevier

Access to resources Recommend Favorite

An algebraic model for the representation of accounting systems

By Nehmer R.A.   Robinson D.  

Annals of Operations Research, Vol. 71, Iss. 1, 1997-01 ,pp. : 179-198

Springer Publishing Company

Access to resources Recommend Favorite