Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Editor: Palamidessi, C.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 6.


Timmer, M. (2011) SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes. In: Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, 5-8 Sep 2011, Aachen, Germany. pp. 149-150. IEEE Computer Society. ISBN 978-1-4577-0973-9


Bossi, A. and Etalle, S. and Rossi, S. (2000) Semantics of Input-Consuming Logic Programs. In: Computational Logic (CL), London, UK. pp. 194-208. Springer-Verlag.
Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C. (2000) A semantics for persistency in propositional dynamic logic. In: First International Conference on Computational Logic (CL2000), 24-28 July 2000, London, UK. pp. 912-925. Lecture Notes in Artificial Intelligence 1861. Springer. ISSN 0302-9743 ISBN 978-3-540-67797-0
Rensink, A. (2000) Action Contraction. In: Concurrency Theory (CONCUR), Aug 2000, State College, USA. pp. 290-304. Lecture Notes in Computer Science 1877. Springer Verlag. ISSN 0302-9743 ISBN 3-540-67897-2


Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. In: Expressiveness in Concurrency. pp. 141-160. Electronic Notes in Theoretical Computer Science 7. Elsevier. ISSN 1571-0661
Rensink, A. (1997) Bisimilarity of Open Terms. In: Expressiveness in Concurrency. pp. 262-285. Electronic Notes in Theoretical Computer Science 7. Elsevier. ISSN 1571-0661

This list was generated on Mon May 29 04:15:53 CEST 2017.