EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: FMT-NIM: NON-INTERLEAVING MODELS
Home Policy Brochure Browse Search User Area Contact Help

2001

Katoen, J.P. and Baier, C. and Latella, D. (2001) Metric semantics for true concurrent real time. Theoretical computer science, 254 (1/2). pp. 501-542. ISSN 0304-3975 *** ISI Impact 0,643 ***
Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M. (2001) First passage time analysis of stochastic process algebra using partial orders. In: Tools and Algorithms for the Construction and Analysis of Systems. pp. 220-235. Lecture Notes in Computer Science 2031. Springer. ISSN 0302-9743 ISBN 3-540-41865-2

2000

Sierra Abbate, L.R. and D'Argenio, P.R. and Echagüe, J.V. (2000) From Semantics to Spatial Distributions. In: LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, April 10-14, 2000, Proceedings},, Punta del Este, Uruguay. pp. 427-436. Lecture Notes in Computer Science 1776. Springer Verlag. ISBN 3-540-67306-7

1998

Baier, C. and Katoen, J.P. and Latella, D. (1998) Metric semantics for true concurrent real time. In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, July 13-17, 1998, Aalborg, Denmark. pp. 568-580. Lecture Notes in Computer Science 1443. Springer Verlag. ISBN 3-540-64781-3
Bowman, H. and Katoen, J.P. (1998) A true concurrency semantics for ET-LOTOS. In: Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on, 03/23/1998 - 03/26/1998, Fukushima, Japan. pp. 228-239. IEEE Computer Society. ISBN 0-8186-8350-3
Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1998) Partial-order models for quantitative extensions of LOTOS. Computer networks and ISDN systems, 30 (9-10). pp. 925-950. ISSN 0169-7552
Katoen, J.P. and Lambert, L. (1998) Pomsets for message sequence charts. In: Formale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech, 4. und 5. Juni 1998, Cottbus, Germany. pp. 197-207. Shaker Verlag. ISBN 3-8265-3807-2
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. and Bolognesi, T. (1998) A consistent causality-based view on a timed process algebra including urgent interactions. Formal Methods in System Design, 12 (2). pp. 189-216. ISSN 0925-9856 *** ISI Impact 1,132 ***

1997

Langerak, R. and Brinksma, H. and Katoen, J.P. (1997) Causal ambiguity and partial orders in event structures. In: Concurrency Theory (CONCUR'97), July 1-4, 1997, Warsaw, Poland. pp. 317-332. Lecture Notes in Computer Science 1243. Springer Verlag. ISBN 3-540-63141-0

1996

Katoen, J.P. (1996) Quantitative and Qualitative Extensions of Event Structures. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 96-09
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. (1996) On specifying real-time systems in a causality-based setting. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, September 9-13, 1996, Uppsala, Sweden. pp. 385-405. Lecture Notes in Computer Science 1135. Springer-Verlag. ISBN 3-540-61648-9

1995

Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1995) A stochastic causality-based process algebra. The Computer journal, 38 (7). pp. 552-565. ISSN 0010-4620 *** ISI Impact 1,000 ***
Katoen, J.P. (1995) Causal Behaviours and Nets. In: Application and Theory of Petri Nets 1995, 16th International Conference, June 26-30, 1995, Turin, Italy. pp. 258-278. Lecture Notes in Computer Science 935. Springer-Verlag. ISBN 3-540-60029-9
van Sinderen, M.J. and Ferreira Pires, L. and Vissers, C.A. and Katoen, J.P. (1995) A design model for open distributed processing systems. Computer networks and ISDN systems, 27 (8). pp. 1263-1285. ISSN 0169-7552