uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Time-abstracted bisimulation: Implicit specifications and decidability
Uppsala University.
Uppsala University.
1997 (English)In: INFORMATION AND COMPUTATION, ISSN 0890-5401, Vol. 134, no 2, 75-101 p.Article in journal (Other scientific) Published
Abstract [en]

In the last few years a number of real-time process calculi have emerged with the purpose of capturing important quantitative aspects of real-time systems. In addition, a number of process equivalences sensitive to time-quantities have been proposed, amon

Place, publisher, year, edition, pages
ACADEMIC PRESS INC JNL-COMP SUBSCRIPTIONS , 1997. Vol. 134, no 2, 75-101 p.
Keyword [en]
URN: urn:nbn:se:uu:diva-27186OAI: oai:DiVA.org:uu-27186DiVA: diva2:55080
Addresses: Larsen KG, UNIV AALBORG, INST ELECT SYST, DEPT MATH & COMP SCI, DK-9220 AALBORG, DENMARK. UNIV UPPSALA, DEPT COMP SYST, S-75105 UPPSALA, SWEDEN.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-15

Open Access in DiVA

No full text

By organisation
Uppsala University

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 152 hits
ReferencesLink to record
Permanent link

Direct link