Filters: Author is Ed Brinksma [Clear All Filters]
“General Distributions in Process Algebra”, in Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures, vol. 2090, Springer, 2001, pp. 375-430. paper-202.pdf (951.38 KB)
, “Specification and Analysis of Soft Real-Time Systems: Quantity and Quality”, in Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, AZ, USA, December 1-3, 1999, 1999, pp. 104-114}. paper-205.pdf (296.98 KB)
, “An algebraic approach to the specification of stochastic systems”, Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, vol. 125. Chapman {&} Hall, pp. 126-147, 1998. paper-208.pdf (387.7 KB)
, “A Compositional Approach to Generalised semi-Markov Processes”, in Proceedings of the 4th International Workshop on Discrete Event Systems, WODES'98, Caligari, Italy, 1998, p. 391--387. paper-210.pdf (224.63 KB)
, “General Purpose Discrete Event Simulation using ♠︎”, in Proc. of 6th International Workshop on Process Algebras and Performance Modeling, PAPM'98, {\rm Nice, France}, 1998, pp. 85-102. paper-209.pdf (354.6 KB)
, “The Bounded Retransmission Protocol Must Be on Time!”, in Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings, 1997, vol. 1217, pp. 416-431. paper-216.pdf (1003.61 KB)
, “A Stochastic Automata Model and its Algebraic Approach”, in Proc. of 5th International Workshop on Process Algebras and Performance Modeling, PAPM'97, Enschede, The Netherlands, 1997, vol. 97-14, pp. 1-16. paper-213.pdf (226.43 KB)
, “A Stochastic Automata Model and its Algebraic Approach”, in Proc. of 5th International Workshop on Process Algebras and Performance Modeling, PAPM'97, Enschede, The Netherlands, 1997, vol. 97-14, pp. 1-16. paper-213.pdf (226.43 KB)
, “A Calculus for Timed Automata”, in Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings, 1996, vol. 1135, pp. 110-129. paper-218.pdf (1.09 MB)
, “A Calculus for Timed Automata”, University of Twente, 96-13, 1996. paper-220.pdf (437.02 KB)
,