Unifying behavioral equivalences of timed transition systems

ISSN： 0361-7688

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Studying equivalences of transition systems with algebraic tools

By Malacaria P.

Theoretical Computer Science, Vol. 139, Iss. 1, 1995-03 ,pp. : 187-205

Elsevier

Access to resources Recommend Favorite

Extending Timed Automata for Compositional Modeling Healthy Timed Systems

By Braberman V. Olivero A.

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 3, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite

Non-determinism in Probabilistic Timed Systems with General Distributions

By Bravetti M. Aldini A.

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 3, 2004-01 ,pp. : 1-29

Elsevier

Access to resources Recommend Favorite

Automatic synthesis of a subclass of schedulers in timed systems

By Krishnan P.

Theoretical Computer Science, Vol. 298, Iss. 2, 2003-04 ,pp. : 347-363

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