Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

1994

A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours

Aceto, L. & Jeffrey, A. S. A., 1994, Århus : Daimi: Department of Computer Science, Aarhus University. 18 s. (BRICS Report Series; Nr. RS-94-43).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Adding Action-Tefinement to a Finite Process Algebra

Aceto, L. & Hennesy, M., 1994, I : Information and Computation. 115, s. 179-247

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

34 Citationer (Scopus)

Automatic Verification of Real-Time Systems Using Epsilon

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Voung, S.-T. : Chanson, S.-T. (Eds.) (red.). Chapman & Hall, s. 232-330

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Process Calculi with Asynchronous Communication: Master's Thesis

Hansen, M. & Kleist, J., 1994, R-94-2028 udg. Aalborg: Department of Computer Science, Aalborg University.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Undecidable equivalences for basic process algebra

Groote, J. F. & Hüttel, H., dec. 1994, I : Information and Computation. 115, 2, s. 354-371 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
38 Citationer (Scopus)

Verification of Real-Time Applications Using the Epsilon System

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), s. 41-52

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1992

Bisimulation equivalence is decidable for context-free processes

Christensen, S., Hüttel, H. & Stifling, C., 1 jan. 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (red.). Physica-Verlag, s. 138-147 10 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 630 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

48 Citationer (Scopus)

Testing and Verification of Probabilistic Processes

Larsen, K. G. & Skou, A., 1992, NSDCS'92. Heegaard, Poul : Helvik, Bjarne (eds.) (red.). NTH, s. 235-250

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1991

Bisimulation through Probabilistic Testing

Larsen, K. G. & Skou, A., 1991, I : Information and Computation. 94, 1, s. 1-28

Publikation: Bidrag til tidsskriftTidsskriftartikel

698 Citationer (Scopus)

Silence is golden: Branching bisimilarity is decidable for context-free processes

Hüttel, H., 1991, Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. Larsen, K. G. & Skou, A. (red.). Physica-Verlag, s. 2-12 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 575 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
8 Citationer (Scopus)
1989

Bisimulation Through Probabilistic Testing (Preliminary Report)

Larsen, K. G. & Skou, A., 1989, Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, s. 344-352

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

The use of static constructs in a model process logic

Hüttel, H. & Larsen, K. G., 1 jan. 1989, Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Meyer, A. R. & Taitslin, M. A. (red.). Physica-Verlag, s. 163-180 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 363 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

45 Citationer (Scopus)

Validation of Concurrent Processes with Emphasis on Testing

Skou, A., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-46).

Publikation: Bog/antologi/afhandling/rapportBogFormidling