{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T09:30:03Z","timestamp":1775899803139,"version":"3.50.1"},"reference-count":114,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[1982,12,1]],"date-time":"1982-12-01T00:00:00Z","timestamp":407548800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks (1976)"],"published-print":{"date-parts":[[1982,12]]},"DOI":"10.1016\/0376-5075(82)90112-x","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:17:02Z","timestamp":1060298222000},"page":"419-441","source":"Crossref","is-referenced-by-count":74,"title":["Modeling and analysis of communication and cooperation protocols using petri net based models"],"prefix":"10.1016","volume":"6","author":[{"given":"Michel","family":"Diaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0376-5075(82)90112-X_BIB1_1","series-title":"Protocol Testing Workshop","article-title":"On the applicability of Petri net based models in protocol design and verification","author":"Ayache","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB1_2","series-title":"Europ. Workshop on Application and Theory of Petri nets","author":"Ayache","year":"1981"},{"issue":"n\u00b0 4","key":"10.1016\/0376-5075(82)90112-X_BIB2","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1109\/TCOM.1980.1094696","article-title":"A general transition model for protocols and communication services","volume":"vol. COM-28","author":"Bochmann","year":"1980","journal-title":"IEEE Trans. on Communications"},{"issue":"n\u00b0 4","key":"10.1016\/0376-5075(82)90112-X_BIB3","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1109\/TCOM.1980.1094685","article-title":"Formal methods in communication protocol design","volume":"vol. COM.28","author":"Bochmann","year":"1980","journal-title":"IEEE Trans. on Communications"},{"issue":"n\u00b0 4","key":"10.1016\/0376-5075(82)90112-X_BIB4","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1109\/TCOM.1980.1094686","article-title":"Protocol representation with finite-state models","volume":"vol. COM-28","author":"Danthine","year":"1980","journal-title":"IEEE Trans. on Communications"},{"key":"10.1016\/0376-5075(82)90112-X_BIB5","series-title":"Tutorial paper, 2nd Int. Workshop on Protocol Specification, Testing and Verification","article-title":"Modelling and analysis of communication and cooperation protocols using Petri net based models","author":"Diaz","year":"1982"},{"key":"10.1016\/0376-5075(82)90112-X_BIB6","first-page":"346","article-title":"Survey of protocol definition and verification techniques","volume":"2","author":"Sunshine","year":"1978","journal-title":"Computer Networks"},{"key":"10.1016\/0376-5075(82)90112-X_BIB7","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MC.1979.1658889","article-title":"Formal techniques for protocol specification and verification","author":"Sunshine","year":"1979","journal-title":"Computer"},{"key":"10.1016\/0376-5075(82)90112-X_BIB8_1","article-title":"Formal modelling of communication protocols","author":"Sunshine","year":"1981","journal-title":"ISI-USC Report RR-81-89"},{"key":"10.1016\/0376-5075(82)90112-X_BIB8_2","series-title":"1st Workshop on Protocol Testing","author":"Sunshine","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB9","article-title":"Syst\u00e8mes \u00e0 \u00e9volutions parall\u00e8les: mod\u00e9lisation par r\u00e9seux de Petri \u00e0 capacit\u00e9 et analyse par abstraction","author":"Andr\u00e9","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB10","series-title":"Int. Switching Symposium","article-title":"A methodology for specifying control in electronic switching systems","author":"Ayache","year":"1979"},{"key":"10.1016\/0376-5075(82)90112-X_BIB11","article-title":"Reduction of nets and parallel programs","volume":"45","author":"Berthelot","year":"1977"},{"key":"10.1016\/0376-5075(82)90112-X_BIB12","article-title":"Analyse structurelle des r\u00e9seaux de Petri, m\u00e9thodes et outils","author":"Berthomieu","year":"1979"},{"key":"10.1016\/0376-5075(82)90112-X_BIB13","article-title":"Methods for carrying proofs on Petri nets using their structural properties","author":"Berthomieu","year":"1982","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10.1016\/0376-5075(82)90112-X_BIB14","article-title":"Multiprocessors, semaphores and a graph model of computation","author":"Cerf","year":"1972"},{"key":"10.1016\/0376-5075(82)90112-X_BIB15","series-title":"Semantics of Concurrent Computation, Evian 1979","first-page":"123","article-title":"The analysis of distributed systems by means of predicate\/transition nets","volume":"Vol. 70","author":"Genrich","year":"1979"},{"key":"10.1016\/0376-5075(82)90112-X_BIB16","first-page":"109","article-title":"System modelling with high level Petri nets","volume":"13","author":"Genrich","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB17","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-10001-6_22","article-title":"Elements of net Theory","volume":"84","author":"Genrich","year":"1980","journal-title":"Lect. Note in Computer Science"},{"key":"10.1016\/0376-5075(82)90112-X_BIB18","article-title":"Petri nets reduction and verification","author":"Han","year":"1976"},{"key":"10.1016\/0376-5075(82)90112-X_BIB19","series-title":"Record Project MAC Conf. on Concurrent Systems and Parallel Computation","article-title":"Events and conditions","author":"Holt","year":"1970"},{"key":"10.1016\/0376-5075(82)90112-X_BIB20","article-title":"Couloured Petri nets and the invariant method","author":"Jensen","year":"1970"},{"key":"10.1016\/0376-5075(82)90112-X_BIB21","article-title":"How to find invariants for coloured Petri nets","author":"Jensen","year":"1980"},{"issue":"n\u00b0 7","key":"10.1016\/0376-5075(82)90112-X_BIB22","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","article-title":"Formal verification of parallel programs","volume":"vol. 19","author":"Keller","year":"1976","journal-title":"Com. ACM"},{"key":"10.1016\/0376-5075(82)90112-X_BIB23","series-title":"Proc. IFIP Congres 74","first-page":"187","article-title":"Use of Petri nets for proving correctness of concurrent process systems","author":"Lautenbach","year":"1974"},{"key":"10.1016\/0376-5075(82)90112-X_BIB24","first-page":"49","article-title":"On the design and certification of asynchronous systems of processes","volume":"45","author":"Lauer","year":"1978"},{"key":"10.1016\/0376-5075(82)90112-X_BIB25","series-title":"1st Europ. Conf. on Parallel and Distributed Processing","article-title":"Analysis of a resource allocation problem using Petri nets","author":"Lautenbach","year":"1979"},{"issue":"n\u00b0 2","key":"10.1016\/0376-5075(82)90112-X_BIB26","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1137\/0205020","article-title":"Termination properties of generalized Petri Nets","volume":"vol. 5","author":"Lien","year":"1976","journal-title":"SIAM J. Comp."},{"key":"10.1016\/0376-5075(82)90112-X_BIB27","series-title":"2nd Europ Workshop on the Appl. & Theory of Petri nets","first-page":"411","article-title":"A simple and fast algorithm to obtain all invariants of a generalized Petri net","author":"Martinez","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB28","article-title":"Fuites et semi-flots dans les r\u00e9seaux de Petri","author":"Memmi","year":"1978"},{"issue":"n\u00b0 3","key":"10.1016\/0376-5075(82)90112-X_BIB29","article-title":"Petri nets, marked graphs and circuit system theory; a recent case application","volume":"vol. 11","author":"Murata","year":"1977","journal-title":"IEEE Trans. on Circuit and Systems"},{"key":"10.1016\/0376-5075(82)90112-X_BIB30","first-page":"279","article-title":"Evaluation nets for computer system performance analysis","volume":"vol. 41","author":"Nutt","year":"1972"},{"key":"10.1016\/0376-5075(82)90112-X_BIB31","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/356698.356702","article-title":"Petri nets","volume":"9","author":"Peterson","year":"1977","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0376-5075(82)90112-X_BIB32","series-title":"Petri net theory and the modelling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB33","series-title":"Westfalischen Institutes fur Instrumentelle Mathematik and der Universitat Bonn, 1962","article-title":"Kommunication mit Automaten, Schriften des Rheinisch","volume":"vol. 1","author":"Petri","year":"1965"},{"key":"10.1016\/0376-5075(82)90112-X_BIB34","article-title":"Le contr\u00f4le des syst\u00e8mes asynchrones: concepts, propri\u00e9t\u00e9s, analyse statique","author":"Sifakis","year":"1979"},{"key":"10.1016\/0376-5075(82)90112-X_BIB35","article-title":"A method for stepwize refinements and abstraction of Petri nets","volume":"80-3","author":"Suzuki","year":"1980"},{"issue":"1","key":"10.1016\/0376-5075(82)90112-X_BIB36","doi-asserted-by":"crossref","DOI":"10.1016\/0022-0000(79)90050-3","article-title":"Analysis of Petri nets by stepwise refinements","volume":"vol. 18","author":"Valette","year":"1979","journal-title":"Journal of Computer and System Sciences"},{"issue":"N\u00b0 4","key":"10.1016\/0376-5075(82)90112-X_BIB37","first-page":"181","article-title":"Top-down formal specification and verification of parallel control systems","volume":"vol. 4","author":"Valette","year":"1978","journal-title":"Digital Process"},{"issue":"n\u00b0 35","key":"10.1016\/0376-5075(82)90112-X_BIB38","first-page":"23","article-title":"OGIVE: un outil graphique interactif de v\u00e9rification des syst\u00e8mes parall\u00e8les d\u00e9crits par r\u00e9seaux de Petri","author":"Pradin","year":"1980","journal-title":"Revue MICADO"},{"issue":"n\u00b0 12","key":"10.1016\/0376-5075(82)90112-X_BIB39","doi-asserted-by":"crossref","first-page":"1038","DOI":"10.1109\/TC.1980.1675509","article-title":"Modelling and verification of communication protocols in SARA: the X21 Interface","volume":"vol. C-29","author":"Razouk","year":"1980","journal-title":"IEEE Trans. on Computers"},{"key":"10.1016\/0376-5075(82)90112-X_BIB40","unstructured":"F.J.W. Symons, see in the STATE MACHINES, NETS and PROTOCOLS list."},{"key":"10.1016\/0376-5075(82)90112-X_BIB41","series-title":"2nd Eur. Workshop on the Theory and Application of Petri nets","first-page":"541","article-title":"GALILEO, experiences in the design of a Petri net based language for real-time systems","author":"Vidondo","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB42","article-title":"The design and validation by Petri nets of a reliable bus allocation protocol","volume":"82","author":"Ayache","year":"1982","journal-title":"INFOCOM"},{"key":"10.1016\/0376-5075(82)90112-X_BIB43","series-title":"Int. Switching Symposium ISS81","article-title":"Specification and verification of signalling protocols","author":"Ayache","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB44","series-title":"Third Int. Conf. on Software Eng.","first-page":"168","article-title":"Design and verification of communication procedures, a bottom-up approach","author":"Azema","year":"1978"},{"key":"10.1016\/0376-5075(82)90112-X_BIB45","series-title":"Proc. of IFIP Congress","article-title":"The design and validation by Petri nets of a mechanism for the invocation of remote servers","author":"Azema","year":"1980"},{"key":"10.1016\/0376-5075(82)90112-X_BIB46","series-title":"IEEE Int. Symp. on Fault-Tolerant Computing","article-title":"Virtual ring protection in distributed systems","author":"Azema","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB47","series-title":"5th Int. Conf. on Software Engineering","article-title":"The two steps commitment protocol. Modeling, specification and proof methodology","author":"Baer","year":"1981"},{"issue":"n\u00b0 1","key":"10.1016\/0376-5075(82)90112-X_BIB48","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/1040114.1040116","article-title":"A communication concept for protocol models","volume":"Vol. 11","author":"Bauerfeld","year":"1981","journal-title":"Computer Communication Review"},{"key":"10.1016\/0376-5075(82)90112-X_BIB49_1","series-title":"2nd Europ. Workshop on Appl. & Theory of Petri Nets","first-page":"31","article-title":"Petri nets theory for the correctness of protocols","author":"Berthelot","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB49_2","series-title":"2nd Int. Work on Protocol Specification Testing and Verification","author":"Berthelot","year":"1982"},{"key":"10.1016\/0376-5075(82)90112-X_BIB50","article-title":"Some comments on timed Petri nets","author":"Gosh","year":"1977","journal-title":"Journ\u00e9e A.F.C.E.T. sur les R\u00e9seaux de Petri"},{"key":"10.1016\/0376-5075(82)90112-X_BIB51","series-title":"A study of the recoverability of computing systems","author":"Merlin","year":"1974"},{"key":"10.1016\/0376-5075(82)90112-X_BIB52","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","article-title":"Recoverability of communication protocols \u2014 implication of a theoretical study","author":"Merlin","year":"1976","journal-title":"IEEE Trans. on Communications"},{"key":"10.1016\/0376-5075(82)90112-X_BIB53","article-title":"Analysis of asynchronous concurrent systems by timed Petri nets","author":"Ramchandani","year":"1974"},{"key":"10.1016\/0376-5075(82)90112-X_BIB54","first-page":"307","article-title":"Performance evaluation of systems using nets","author":"Sifakis","year":"1970"},{"key":"10.1016\/0376-5075(82)90112-X_BIB55","series-title":"7th Ann. Symp. on Computer Architecture","article-title":"Timed Petri nets and preliminary performance evaluation","author":"Zuberek","year":"1980"},{"key":"10.1016\/0376-5075(82)90112-X_BIB56","series-title":"ACM-IEEE Design Automation Conference","article-title":"Petri nets as a common tool for design verification and hardware simulation","author":"Azema","year":"1976"},{"key":"10.1016\/0376-5075(82)90112-X_BIB57","article-title":"Un Outil graphique interactif pour la validation des syst\u00e8mes \u00e0 \u00e9volution parall\u00e8le d\u00e9crits par r\u00e9seaux de Petri (OGIVE)","author":"Chezaviel-Pradin","year":"1979"},{"key":"10.1016\/0376-5075(82)90112-X_BIB58","series-title":"2nd Europ Workshop on Application and Theory of Petri nets","first-page":"299","article-title":"PES, a net based tool for the development of complex systems","author":"Hackman","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB59","series-title":"2nd Eur. Workshop on the Theory and Application of Petri nets","first-page":"397","article-title":"The use of GALILEO to represent and analyse telecommunication protocols","author":"Lopez","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB60","article-title":"Computer aided design and proof of parallel system, application to synchronization software","author":"Pradin","year":"1979","journal-title":"Internal Report, LAAS\/CNRS"},{"key":"10.1016\/0376-5075(82)90112-X_BIB61","series-title":"2nd Int Work on Protocol Specification, Testing and Verification","article-title":"Specification of the Transport service using Numerical Petri nets","author":"Billington","year":"1982"},{"key":"10.1016\/0376-5075(82)90112-X_BIB62_1","series-title":"Conf. Computer Network Protocols","article-title":"Finite state description of communication protocols","author":"Bochmann","year":"1978"},{"key":"10.1016\/0376-5075(82)90112-X_BIB62_2","first-page":"361","author":"Bochmann","year":"1978","journal-title":"Computer Networks-2"},{"key":"10.1016\/0376-5075(82)90112-X_BIB63","series-title":"NTC'77, Conf. Record","article-title":"A formalized specification of HDLC classes of procedures","author":"Bochmann","year":"1977"},{"key":"10.1016\/0376-5075(82)90112-X_BIB64","series-title":"IFIP Proceedings","article-title":"A unified method for the specification and verification of protocols","author":"Bochmann","year":"1977"},{"key":"10.1016\/0376-5075(82)90112-X_BIB65","series-title":"IFIP-TC6, COMNET Symp.","article-title":"Petri nets for protocol modeling and verification","author":"Danthine","year":"1977"},{"key":"10.1016\/0376-5075(82)90112-X_BIB66","series-title":"1st Int. Conf. on Distributed Computing Systems","article-title":"Multilevel specification and validation of the control in communication systems","author":"Devy","year":"1979"},{"key":"10.1016\/0376-5075(82)90112-X_BIB67","series-title":"2nd Europ. Workshop on Appl. & Theory of Petri nets","first-page":"181","article-title":"A method for analizing communication protocols","author":"Eckert","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB68","article-title":"Protocols for communication stabilization","author":"Feldbrugge","year":"1978"},{"key":"10.1016\/0376-5075(82)90112-X_BIB69","series-title":"2nd Eur. Workshop on Appl. & Theory of Petri nets","first-page":"245","article-title":"Evaluation based upon stochastic Petri nets of the maximum throughput on a full duplex protocol","author":"Florin","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB70","series-title":"2nd Europ. Workshop on the Theory and Application of Petri nets","first-page":"347","article-title":"A data transfert protocol. Informal specification and modelling by Petri nets","author":"Juanole","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB71","first-page":"489","article-title":"Data Transfer on a link: specification of a class of retransmission strategies for the error control; formal modeling by Petri nets","volume":"vol. 1","author":"Juanole","year":"1982"},{"key":"10.1016\/0376-5075(82)90112-X_BIB72","article-title":"Contribution a la conception de protocoles de communication dans les autocommutateurs \u00e9lectroniques","author":"Konber","year":"1980"},{"issue":"n\u00b0 6","key":"10.1016\/0376-5075(82)90112-X_BIB73","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1109\/TCOM.1976.1093347","article-title":"A methodology for design and implementation of communication protocols","volume":"vol. COM-24","author":"Merlin","year":"1976","journal-title":"IEEE Trans. Commun."},{"key":"10.1016\/0376-5075(82)90112-X_BIB74","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1147\/rd.221.0060","article-title":"Automated validation of a communication protocol: the CCITT X.21 recommendation","volume":"vol. 22","author":"West","year":"1978","journal-title":"IBM J. Res. and Devel"},{"key":"10.1016\/0376-5075(82)90112-X_BIB75","doi-asserted-by":"crossref","first-page":"1187","DOI":"10.1109\/TCOM.1978.1094227","article-title":"Protocol validation by duologue matrix analysis","volume":"Vol. COM-26","author":"Zafiropulo","year":"1978","journal-title":"IEEE Trans. commun."},{"key":"10.1016\/0376-5075(82)90112-X_BIB76","series-title":"2nd Europ. Workshop on the Theory and Application of Petri nets","first-page":"269","article-title":"Analysis of le Lann's distributed control protocol by Petri nets","author":"Zuberek","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB77","series-title":"Int. Switching Symp.","article-title":"Specification and verification of signalling protocols","author":"Ayache","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB78","series-title":"Int. Switching Symp.","article-title":"A methodology for specifying control in electronic switching systems","author":"Ayache","year":"1979"},{"key":"10.1016\/0376-5075(82)90112-X_BIB79","article-title":"On the top-down design of a computer controlled communication switching system","author":"Barzilai","year":"1979"},{"issue":"n\u00b0 4","key":"10.1016\/0376-5075(82)90112-X_BIB80","article-title":"Behavioral descriptions of communication switching systems using Petri nets","volume":"vol. 3","author":"Yoeli","year":"1977","journal-title":"Digital Process"},{"key":"10.1016\/0376-5075(82)90112-X_BIB81","series-title":"IEEE Int. Symp. on Fault-Tolerant Computing","article-title":"Observer: a concept for on-line detection of control errors in concurrent systems","author":"Ayache","year":"1979"},{"key":"10.1016\/0376-5075(82)90112-X_BIB82","article-title":"Observer: a concept for run-time detection of control errors in concurrent systems","author":"Ayache","year":"1982","journal-title":"Digital Processes"},{"key":"10.1016\/0376-5075(82)90112-X_BIB83","series-title":"3rd conf. on Distributed Computing Systems","article-title":"Self checking software in Distributed Systems","author":"Ayache","year":"1982"},{"key":"10.1016\/0376-5075(82)90112-X_BIB84","series-title":"3rd Workshop on the Theory and Application of Petri nets","article-title":"On the specification and validation of protocols by temporal logic and nets","author":"Diaz","year":"1982"},{"issue":"n\u00b0 11","key":"10.1016\/0376-5075(82)90112-X_BIB85","doi-asserted-by":"crossref","first-page":"1671","DOI":"10.1109\/TCOM.1979.1094323","article-title":"Specification and validation of protocols","volume":"vol. COM-27","author":"Merlin","year":"1979","journal-title":"IEEE Trans. on Commun."},{"key":"10.1016\/0376-5075(82)90112-X_BIB86","unstructured":"P.M. Merlin, D.J. Farber See the timed Petri nets list."},{"key":"10.1016\/0376-5075(82)90112-X_BIB87","article-title":"A graph model analysis of computer communications protocols","author":"Postel","year":"1974","journal-title":"Ph. D. Thesis, Research Report UCLA, ENG\/7410"},{"key":"10.1016\/0376-5075(82)90112-X_BIB88","series-title":"Proc. 5th Texas Conf. on Computing Systems","article-title":"Graph modelling of computer communications protocols","author":"Postel","year":"1976"},{"key":"10.1016\/0376-5075(82)90112-X_BIB89","series-title":"2nd Europ. Workshop on the Theory and Application of Petri nets","first-page":"483","article-title":"Specification and verification of concurrent systems in CESAR, an example","author":"Queille","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB90","series-title":"2nd Int Workshop on Protocol Specification, Testing and Verification","article-title":"Modeling the X.25 using the Graph Model of Behaviour","author":"Razouk","year":"1982"},{"issue":"n\u00b0 12","key":"10.1016\/0376-5075(82)90112-X_BIB91","doi-asserted-by":"crossref","first-page":"1038","DOI":"10.1109\/TC.1980.1675509","article-title":"Modelling and verification of communication protocols in SARA: the X21 interface","volume":"vol. C-29","author":"Razouk","year":"1980","journal-title":"IEEE Trans. on Computers"},{"key":"10.1016\/0376-5075(82)90112-X_BIB92","article-title":"Modelling and analysis of communication protocols using numerical Petri nets","author":"Symons","year":"1978"},{"issue":"n\u00b0 1","key":"10.1016\/0376-5075(82)90112-X_BIB93","article-title":"Representation, analysis and verification of communication protocols","volume":"vol. 14","author":"Symons","year":"1980","journal-title":"Australian Telecommunication Research"},{"key":"10.1016\/0376-5075(82)90112-X_BIB94","article-title":"Representation, analysis and verification of communication protocols","author":"Symons","year":"1980"},{"key":"10.1016\/0376-5075(82)90112-X_BIB95","series-title":"2nd Europ. Workshop on the Theory and Application of Petri nets","first-page":"519","article-title":"On the application of extended Petri nets to the verification of protocols","author":"Tomer","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB96","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1109\/TSE.1980.234502","article-title":"Using predicate\/transition nets to model and analyse distributed database systems","volume":"vol. SE-6","author":"Voss","year":"1980","journal-title":"IEEE Trans. on Software Eng."},{"key":"10.1016\/0376-5075(82)90112-X_BIB97","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1147\/rd.224.0393","article-title":"General technique for communications protocol validation","volume":"vol. 22","author":"West","year":"1978","journal-title":"IBM J. Res. Develop."},{"key":"10.1016\/0376-5075(82)90112-X_BIB98","article-title":"Verifying network protocols using temporal logic","author":"Hailpern","year":"1980"},{"key":"10.1016\/0376-5075(82)90112-X_BIB99","series-title":"Temporal logic","author":"Rescher","year":"1971"},{"key":"10.1016\/0376-5075(82)90112-X_BIB100","series-title":"2nd Conf. Distributed Computing Systems","first-page":"446","article-title":"Temporal logic specification of distributed systems","author":"Schwartz","year":"1981"},{"key":"10.1016\/0376-5075(82)90112-X_BIB101","series-title":"Tutorial Paper, 2nd Workshop on Protocol Specification, Testing and Verification","article-title":"From State machine to Temporal Logic: Specification Methods for protocol standards","author":"Schwartz","year":"1982"},{"key":"10.1016\/0376-5075(82)90112-X_BIB102_1","unstructured":"B. Berthomieu, \u201cAlgebraic Specification of communication protocols\u201d, Research Report ISI-RR-81-98"},{"key":"10.1016\/0376-5075(82)90112-X_BIB102_2","volume":"81.T.26","author":"Berthomieu","year":"1981","journal-title":"Technical Report L.A.A.S.-C.N.R.S."},{"key":"10.1016\/0376-5075(82)90112-X_BIB103","article-title":"Specification and verification of communication protocols in AFFIRM using state transition models","author":"Thompson","year":"1981","journal-title":"Research Report ISI-RR-81-88, USC, Inf. Sc. Institute"},{"key":"10.1016\/0376-5075(82)90112-X_BIB104","article-title":"REBUS: A Fault-Tolerant Distributed System for Industrial Real-Time Control","author":"Ayache","year":"1982","journal-title":"IEEE, Tr. on computers, Special Issue on Fault-Tolerant Computing"},{"key":"10.1016\/0376-5075(82)90112-X_BIB105","doi-asserted-by":"crossref","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"vol. 21","author":"Hoare","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0376-5075(82)90112-X_BIB106","doi-asserted-by":"crossref","DOI":"10.1007\/BF00264564","article-title":"Formal semantics of a class of high-level primitives for coordinating concurrent processes","volume":"5","author":"Lauer","year":"1975","journal-title":"Acta Informatica"},{"key":"10.1016\/0376-5075(82)90112-X_BIB107","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00266047","article-title":"COSY: a system specification language based on paths and processes","volume":"12","author":"Lauer","year":"1979","journal-title":"Acta Informatica"},{"key":"10.1016\/0376-5075(82)90112-X_BIB108","article-title":"Interprocess communication protocols for computer networks","volume":"105","author":"Sunshine","year":"1975"},{"key":"10.1016\/0376-5075(82)90112-X_BIB109","article-title":"OSI reference model. The ISO model of architecture for open systems interconnection","volume":"vol. COM-28","author":"Zimmerman","year":"1980","journal-title":"IEEE Trans. on Communications"}],"container-title":["Computer Networks (1976)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:037650758290112X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:037650758290112X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T07:55:44Z","timestamp":1552636544000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/037650758290112X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,12]]},"references-count":114,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1982,12]]}},"alternative-id":["037650758290112X"],"URL":"https:\/\/doi.org\/10.1016\/0376-5075(82)90112-x","relation":{},"ISSN":["0376-5075"],"issn-type":[{"value":"0376-5075","type":"print"}],"subject":[],"published":{"date-parts":[[1982,12]]}}}