Protocol Analysis Using a Timed Version of SDL

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

Marco Ajmone Marsan, G. Conte, Gianfranco Balbo · ACM Transactions on Computer Systems · 1984 · 1.3K citations

Computing, Computer Science, Computer Systems +14

The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes

Donald Gross, Douglas R. Miller · Operations Research · 1984 · 442 citations

Engineering, Computer Science, Mathematics +17

The CCITT-specification and description language SDL

Ferenc Belina, Dieter Hogrefe · Computer Networks and ISDN Systems · 1989 · 161 citations

Computing, Computer Science, Formal Methods +4

A Performance Model of the OSI Communication Architecture

Pieter S. Kritzinger · IRE Transactions on Communications Systems · 1986 · 32 citations

Business, Computer Engineering, Computer Science +17

Hierarchical performance evaluation based on formally specified communication protocols

Elke Heck, Dieter Hogrefe, Bruno Müller‐Clostermann · IEEE Transactions on Computers · 1991 · 26 citations

Computing, Computer Engineering, Computer Science +12