A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.202, Iss.1, 1998-07, pp. : 1-54

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

Modeling concurrent real-time processes using discrete events

By Lee E.A.

Annals of Software Engineering, Vol. 7, Iss. 1-4, 1999-01 ,pp. : 25-45

Springer Publishing Company

Access to resources Recommend Favorite

Computable concurrent processes

By Moschovakis Y.N.

Theoretical Computer Science, Vol. 139, Iss. 1, 1995-03 ,pp. : 243-273

Elsevier

Access to resources Recommend Favorite

E-marketing ethics: a theory of value priorities

By Mattsson Jan Rendtorff Jacob Dahl

International Journal of Internet Marketing and Advertising, Vol. 3, Iss. 1, 2006-02 ,pp. : 35-47

Inderscience Publishers

Access to resources Recommend Favorite

An Exact Solution for the State Probabilities of the Multi-Class, Multi-Server Queue with Preemptive Priorities

By Sleptchenko Andrei Harten Aart Heijden Matthieu

Queueing Systems, Vol. 50, Iss. 1, 2005-05 ,pp. : 81-107

Springer Publishing Company

Access to resources Recommend Favorite

Kolmogorov complexity and non-determinism

By Grigorieff S. Marion J.

Theoretical Computer Science, Vol. 271, Iss. 1, 2002-01 ,pp. : 151-180

Elsevier

Access to resources Recommend Favorite