Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "protocol system specification"
download as .bib file
@inproceedings{DBLP:conf/asicon/HuLJZZL19,
author = {Ang Hu and
Dongsheng Liu and
Zirui Jin and
Cong Zhang and
Ke{-}feng Zhang and
Lan{-}qi Liu},
title = {{RF} Transceiver System Design: From Protocols to Specifications},
booktitle = {13th {IEEE} International Conference on ASIC, {ASICON} 2019, Chongqing,
China, October 29 - November 1, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASICON47005.2019.8983468},
doi = {10.1109/ASICON47005.2019.8983468},
timestamp = {Wed, 12 Feb 2020 16:13:42 +0100},
biburl = {https://dblp.org/rec/conf/asicon/HuLJZZL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cps/MacieiraB18,
author = {Rafael Melo Macieira and
Edna Barros},
title = {Towards a greater reliability of driver/device communication around
the system life cycle through a contract-based protocol specification},
journal = {{IET} Cyper-Phys. Syst.: Theory {\&} Appl.},
volume = {3},
number = {1},
pages = {11--23},
year = {2018},
url = {https://doi.org/10.1049/iet-cps.2017.0001},
doi = {10.1049/IET-CPS.2017.0001},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-cps/MacieiraB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Dziwok17,
author = {Stefan Dziwok},
title = {Specification and verification for real-time coordination protocols
of cyber-physical systems},
school = {University of Paderborn, Germany},
year = {2017},
url = {https://nbn-resolving.org/urn:nbn:de:hbz:466:2-29447},
urn = {urn:nbn:de:hbz:466:2-29447},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Dziwok17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/ChristalinCOM16,
author = {Benson Christalin and
Michele Colledanchise and
Petter {\"{O}}gren and
Richard M. Murray},
title = {Synthesis of reactive control protocols for switch electrical power
systems for commercial application with safety specifications},
booktitle = {2016 {IEEE} Symposium Series on Computational Intelligence, {SSCI}
2016, Athens, Greece, December 6-9, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SSCI.2016.7849873},
doi = {10.1109/SSCI.2016.7849873},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ssci/ChristalinCOM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isi/RandolphIBQ14,
author = {Aurel Randolph and
Abdessamad Imine and
Hanifa Boucheneb and
Alejandro Quintero},
title = {Sp{\'{e}}cification et analyse d'un protocole de contr{\^{o}}le
d'acc{\`{e}}s optimiste pour {\'{e}}diteurs collaboratifs r{\'{e}}partis},
journal = {Ing{\'{e}}nierie des Syst{\`{e}}mes d Inf.},
volume = {19},
number = {6},
pages = {9--32},
year = {2014},
url = {https://doi.org/10.3166/isi.19.6.9-32},
doi = {10.3166/ISI.19.6.9-32},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isi/RandolphIBQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhaoR14,
author = {Yang Zhao and
Kristin Yvonne Rozier},
title = {Formal specification and verification of a coordination protocol for
an automated air traffic control system},
journal = {Sci. Comput. Program.},
volume = {96},
pages = {337--353},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.04.002},
doi = {10.1016/J.SCICO.2014.04.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhaoR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wisa/ChoiCYK14,
author = {Seungoh Choi and
Yeop Chang and
Jeong{-}Han Yun and
Woonyon Kim},
editor = {Kyung Hyune Rhee and
Jeong Hyun Yi},
title = {Multivariate Statistic Approach to Field Specifications of Binary
Protocols in {SCADA} System},
booktitle = {Information Security Applications - 15th International Workshop, {WISA}
2014, Jeju Island, Korea, August 25-27, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8909},
pages = {345--357},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15087-1\_27},
doi = {10.1007/978-3-319-15087-1\_27},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/wisa/ChoiCYK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcomsys/Al-DallalS13,
author = {Jehad Al{-}Dallal and
Kassem Saleh},
title = {State-expansion-based techniques for synthesizing concurrent protocol
specifications in distributed systems},
journal = {Int. J. Commun. Syst.},
volume = {26},
number = {9},
pages = {1176--1195},
year = {2013},
url = {https://doi.org/10.1002/dac.1389},
doi = {10.1002/DAC.1389},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcomsys/Al-DallalS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/LinSMKI13,
author = {Hui Lin and
Adam J. Slagell and
Catello Di Martino and
Zbigniew Kalbarczyk and
Ravishankar K. Iyer},
editor = {Frederick T. Sheldon and
Annarita Giani and
Axel W. Krings and
Robert K. Abercrombie},
title = {Adapting Bro into {SCADA:} building a specification-based intrusion
detection system for the {DNP3} protocol},
booktitle = {Cyber Security and Information Intelligence, {CSIIRW} '13, Oak Ridge,
TN, USA, January 8-10, 2013},
pages = {5},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2459976.2459982},
doi = {10.1145/2459976.2459982},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/LinSMKI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ZhaoR12,
author = {Yang Zhao and
Kristin Yvonne Rozier},
title = {Formal Specification and Verification of a Coordination Protocol for
an Automated Air Traffic Control System},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {53},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.53.787},
doi = {10.14279/TUJ.ECEASST.53.787},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ZhaoR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnsc/ChenZHQ10,
author = {Hui Chen and
Chunjie Zhou and
Xiongfeng Huang and
Yuanqing Qing},
title = {Formal specification and verification of reconfigurable protocol stack
for networked control system},
booktitle = {Proceedings of the {IEEE} International Conference on Networking,
Sensing and Control, {ICNSC} 2010, Chicago, IL, USA, 10-12 April 2010},
pages = {441--446},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICNSC.2010.5461620},
doi = {10.1109/ICNSC.2010.5461620},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icnsc/ChenZHQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-4815,
author = {Alexander Artikis},
title = {A Formal Specification of Dynamic Protocols for Open Agent Systems},
journal = {CoRR},
volume = {abs/1005.4815},
year = {2010},
url = {http://arxiv.org/abs/1005.4815},
eprinttype = {arXiv},
eprint = {1005.4815},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-4815.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/PhitA08,
author = {Thyda Phit and
K{\^{o}}ki Abe},
title = {A Protocol Specification-Based Intrusion Detection System for VoIP
and Its Evaluation},
journal = {{IEICE} Trans. Commun.},
volume = {91-B},
number = {12},
pages = {3956--3965},
year = {2008},
url = {https://doi.org/10.1093/ietcom/e91-b.12.3956},
doi = {10.1093/IETCOM/E91-B.12.3956},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/PhitA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AyedS08,
author = {Leila Jemni Ben Ayed and
Fatma Siala},
title = {From {AUML} Protocol Diagrams to Event {B} for the Specification and
the Verification of Interaction Protocols in Multi-agent Systems},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {581--584},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.176},
doi = {10.1109/COMPSAC.2008.176},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/AyedS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/AyedS08,
author = {Leila Jemni Ben Ayed and
Fatma Siala},
editor = {T. C. Nicholas Graham and
Philippe A. Palanque},
title = {Specification and Verification of Multi-agent Systems Interaction
Protocols Using a Combination of {AUML} and Event {B}},
booktitle = {Interactive Systems. Design, Specification, and Verification, 15th
International Workshop, {DSV-IS} 2008, Kingston, Canada, July 16-18,
2008, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5136},
pages = {102--107},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70569-7\_10},
doi = {10.1007/978-3-540-70569-7\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/AyedS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/BarbosaK08,
author = {Raul Barbosa and
Johan Karlsson},
title = {Formal specification and verification of a protocol for consistent
diagnosis in real-time embedded systems},
booktitle = {{IEEE} Third International Symposium on Industrial Embedded Systems,
{SIES} 2008, Montpellier / La Grande Motte, France, June 11-13, 2008},
pages = {192--199},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/SIES.2008.4577699},
doi = {10.1109/SIES.2008.4577699},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/BarbosaK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/Dietterle08,
author = {Daniel Dietterle},
editor = {S{\'{a}}ndor Moln{\'{a}}r and
John R. Heath and
Olivier Dalle and
Gabriel A. Wainer},
title = {Embedded system protocol design flow based on {SDL:} from specification
to hardware/software implementation},
booktitle = {Proceedings of the 1st International Conference on Simulation Tools
and Techniques for Communications, Networks and Systems {\&} Workshops,
SimuTools 2008, Marseille, France, March 3-7, 2008},
pages = {59},
publisher = {{ICST/ACM}},
year = {2008},
url = {https://doi.org/10.4108/ICST.SIMUTOOLS2008.2929},
doi = {10.4108/ICST.SIMUTOOLS2008.2929},
timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
biburl = {https://dblp.org/rec/conf/simutools/Dietterle08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/AyedS08,
author = {Leila Jemni Ben Ayed and
Fatma Siala},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {An Approach for the Specification and the Verification of Multi-agent
Systems Interaction Protocols using {AUML} and Event {B}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {190--198},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 15:10:09 +0200},
biburl = {https://dblp.org/rec/conf/vveis/AyedS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Werner2007,
author = {Constantin Werner},
title = {{UML} profile for communicating systems: a new {UML} profile for the
specification and description of internet communication and signaling
protocols},
school = {University of G{\"{o}}ttingen},
year = {2007},
url = {http://webdoc.sub.gwdg.de/diss/2007/werner/},
urn = {urn:nbn:de:gbv:7-webdoc-1456-2},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Werner2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/AlbertiCDGLMT07,
author = {Marco Alberti and
Federico Chesani and
Davide Daolio and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
title = {Specification and Verification of Agent Interaction Protocols in a
Logic-based System},
journal = {Scalable Comput. Pract. Exp.},
volume = {8},
number = {1},
year = {2007},
url = {http://www.scpe.org/index.php/scpe/article/view/393},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/AlbertiCDGLMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Letichevsky06,
author = {Alexander A. Letichevsky},
editor = {Irina B. Virbitskaite and
Andrei Voronkov},
title = {Basic Protocols: Specification Language for Distributed Systems},
booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov
Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4378},
pages = {21--25},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70881-0\_4},
doi = {10.1007/978-3-540-70881-0\_4},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/Letichevsky06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsn/WagenknechtDEK06,
author = {Gerald Wagenknecht and
Daniel Dietterle and
Jean{-}Pierre Ebert and
Rolf Kraemer},
editor = {Kay R{\"{o}}mer and
Holger Karl and
Friedemann Mattern},
title = {Transforming Protocol Specifications for Wireless Sensor Networks
into Efficient Embedded System Implementations},
booktitle = {Wireless Sensor Networks, Third European Workshop, {EWSN} 2006, Zurich,
Switzerland, February 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3868},
pages = {228--243},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11669463\_18},
doi = {10.1007/11669463\_18},
timestamp = {Thu, 14 Oct 2021 10:30:13 +0200},
biburl = {https://dblp.org/rec/conf/ewsn/WagenknechtDEK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/SchneiderBRHKZ06,
author = {Axel Schneider and
Thomas Bluhm and
Tobias Renner and
Ulrich Heinkel and
Joachim Kn{\"{a}}blein and
Reynaldo Zavala},
title = {Formal Verification of Abstract System and Protocol Specifications},
booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
MD, {USA}},
pages = {207--211},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEW.2006.19},
doi = {10.1109/SEW.2006.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/SchneiderBRHKZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/LeeYP05,
author = {Shinsook Lee and
Seung{-}Il Yang and
Sung{-}Hoon Park},
editor = {Hamid R. Arabnia},
title = {An Election Protocol in Asynchronous Distributed Systems with Practical
Specifications},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2005, Las Vegas, Nevada,
USA, June 27-30, 2005, Volume 3},
pages = {928--934},
publisher = {{CSREA} Press},
year = {2005},
timestamp = {Wed, 25 Jan 2006 09:52:18 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/LeeYP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ManeeratVBTKS04,
author = {Noppadol Maneerat and
Ruttikorn Varakulsiripunth and
Bhed Bahadur Bista and
Kaoru Takahashi and
Yasushi Kato and
Norio Shiratori},
title = {Composition of Service and Protocol Specifications in Asynchronous
Communication System},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {87-D},
number = {10},
pages = {2306--2317},
year = {2004},
url = {http://search.ieice.org/bin/summary.php?id=e87-d\_10\_2306},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ManeeratVBTKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/CarballeiraCCPG04,
author = {F{\'{e}}lix Garc{\'{\i}}a Carballeira and
Jes{\'{u}}s Carretero and
Alejandro Calder{\'{o}}n and
Jos{\'{e}} Mar{\'{\i}}a P{\'{e}}rez and
Jos{\'{e}} Daniel Garc{\'{\i}}a},
title = {An Adaptive Cache Coherence Protocol Specification for Parallel Input/Output
Systems},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {15},
number = {6},
pages = {533--545},
year = {2004},
url = {https://doi.org/10.1109/TPDS.2004.1},
doi = {10.1109/TPDS.2004.1},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tpds/CarballeiraCCPG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/FranciscoRH04,
author = {Andr{\'{e}} Luiz de Freitas Francisco and
Achim Rettberg and
Andreas Hennig},
editor = {Bernd Kleinjohann and
Guang R. Gao and
Hermann Kopetz and
Lisa Kleinjohann and
Achim Rettberg},
title = {Hardware Design and Protocol Specification for the Control and Communication
within a Mechatronic System},
booktitle = {Design Methods and Applications for Distributed Embedded Systems,
{IFIP} 18th World Computer Congress, {TC10} Working Conference on
Distributed and Parallel Embedded Systems {(DIPES} 2004), 22-27 August
2004, Toulouse, France},
series = {{IFIP}},
volume = {150},
pages = {113--122},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8149-9\_12},
doi = {10.1007/1-4020-8149-9\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/FranciscoRH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlbertiDTGLM04,
author = {Marco Alberti and
Davide Daolio and
Paolo Torroni and
Marco Gavanelli and
Evelina Lamma and
Paola Mello},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Specification and verification of agent interaction protocols in a
logic-based system},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {72--78},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.967918},
doi = {10.1145/967900.967918},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AlbertiDTGLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AzimiCKLMP03,
author = {Mani Azimi and
Ching{-}Tsun Chou and
Akhilesh Kumar and
Victor W. Lee and
Phanindra K. Mannava and
Seungjoon Park},
title = {Experience with Applying Formal Methods to Protocol Specification
and System Architecture},
journal = {Formal Methods Syst. Des.},
volume = {22},
number = {2},
pages = {109--116},
year = {2003},
url = {https://doi.org/10.1023/A:1022965204416},
doi = {10.1023/A:1022965204416},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AzimiCKLMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/CarchioloMM03,
author = {Vincenza Carchiolo and
Michele Malgeri and
Giuseppe Mangioni},
title = {Synthesis of {LOTOS} Specification of the {IEEE-1394} Firewire Protocol},
booktitle = {14th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2003), 9-11 June 2003, San Diego, CA, {USA}},
pages = {86--92},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IWRSP.2003.1207034},
doi = {10.1109/IWRSP.2003.1207034},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/CarchioloMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc3652,
author = {Sam X. Sun and
Sean Reilly and
Larry Lannom and
Jason Petrone},
title = {Handle System Protocol (ver 2.1) Specification},
journal = {{RFC}},
volume = {3652},
pages = {1--53},
year = {2003},
url = {https://doi.org/10.17487/RFC3652},
doi = {10.17487/RFC3652},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc3652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/HuangL02,
author = {Sun{-}Jen Huang and
Richard Lai},
title = {{PSAMS:} a communication protocol specification assessment and measurement
system},
journal = {Softw. Pract. Exp.},
volume = {32},
number = {12},
pages = {1129--1154},
year = {2002},
url = {https://doi.org/10.1002/spe.476},
doi = {10.1002/SPE.476},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/HuangL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/YoussefVM02,
author = {Moustafa A. Youssef and
Arunchandar Vasan and
Raymond E. Miller},
title = {Specification and Analysis of the {DCF} and {PCF} Protocols in the
802.11 Standard Using Systems of Communicating Machines},
booktitle = {10th {IEEE} International Conference on Network Protocols {(ICNP}
2002), 12-15 November 2002, Paris, France, Proceedings},
pages = {132--143},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICNP.2002.1181394},
doi = {10.1109/ICNP.2002.1181394},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/YoussefVM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/RamasamyCS02,
author = {HariGovind V. Ramasamy and
Michel Cukier and
William H. Sanders},
title = {Formal Specification and Verification of a Group Membership Protocol
for an Intrusion-Tolerant Group Communication System},
booktitle = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
pages = {9--18},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/PRDC.2002.1185613},
doi = {10.1109/PRDC.2002.1185613},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/RamasamyCS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/SinhaS01,
author = {Purnendu Sinha and
Neeraj Suri},
title = {Modular Composition of Redundancy Management Protocols in Distributed
Systems: An Outlook on Simplifying Protocol Level Formal Specification
{\&} Verification},
booktitle = {Proceedings of the 21st International Conference on Distributed Computing
Systems {(ICDCS} 2001), Phoenix, Arizona, USA, April 16-19, 2001},
pages = {255--263},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICDSC.2001.918955},
doi = {10.1109/ICDSC.2001.918955},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/SinhaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2000,
editor = {Tommaso Bolognesi and
Diego Latella},
title = {Formal Techniques for Distributed System Development, {FORTE/PSTV}
2000, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal
Description Techniques for Distributed Systems and Communication Protocols
{(FORTE} {XIII)} and Protocol Specification, Testing and Verification
{(PSTV} XX), October 10-13, 2000, Pisa, Italy},
series = {{IFIP} Conference Proceedings},
volume = {183},
publisher = {Kluwer},
year = {2000},
isbn = {0-7923-7968-3},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cata/Ehikioya99,
author = {Sylvanus A. Ehikioya},
editor = {Roger Y. Lee},
title = {An integrated tool support for the specification of transaction systems
protocols},
booktitle = {Computers and Their Applications (CATA-99), Proceedings of the {ISCA}
14th International Conference, Cancun, Mexico, April 7-9, 1999},
pages = {78--81},
publisher = {{ISCA}},
year = {1999},
timestamp = {Mon, 09 Aug 2021 16:27:23 +0200},
biburl = {https://dblp.org/rec/conf/cata/Ehikioya99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ONilsJ99,
author = {Mattias O'Nils and
Axel Jantsch},
title = {Operating System Sensitive Device Driver Synthesis from Implementation
Independent Protocol Specification},
booktitle = {1999 Design, Automation and Test in Europe {(DATE} '99), 9-12 March
1999, Munich, Germany},
pages = {562--567},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1999},
url = {https://doi.org/10.1109/DATE.1999.761183},
doi = {10.1109/DATE.1999.761183},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/ONilsJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Grosse-Rhode99,
author = {Martin Gro{\ss}e{-}Rhode},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {A Compositional Comparison of Specifications of the Alternating Bit
Protocol in {CCS} and {UNITY} Based on Algebra Transformation Systems},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {253--272},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_14},
doi = {10.1007/978-1-4471-0851-1\_14},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Grosse-Rhode99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1999,
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
publisher = {Kluwer},
year = {1999},
isbn = {0-7923-8646-9},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/VorosMBBPB98,
author = {Nikos S. Voros and
Evaggelinos P. Mariatos and
Michael K. Birbas and
Alexios N. Birbas and
Nikos Petrellis and
Spyrogiannis Batistatos},
title = {Reusable Architecture Templates and Automatic Specification Mapping
for the Efficient Implementation of {ATM} Protocols},
booktitle = {Proceedings of the Ninth {IEEE} International Workshop on Rapid System
Prototyping {(RSP} 1998), Leuven, Belgium, June 3-5, 1998},
pages = {45--50},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/IWRSP.1998.676667},
doi = {10.1109/IWRSP.1998.676667},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/VorosMBBPB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1997,
editor = {Atsushi Togashi and
Tadanori Mizuno and
Norio Shiratori and
Teruo Higashino},
title = {Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols {(FORTE} {X)} and
Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21
November, 1997, Osaka, Japan},
series = {{IFIP} Conference Proceedings},
volume = {107},
publisher = {Chapman {\&} Hall},
year = {1998},
isbn = {0-412-82060-9},
timestamp = {Wed, 12 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1998,
editor = {Stanislaw Budkowski and
Ana R. Cavalli and
Elie Najm},
title = {Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols {(FORTE} {XI)} and
Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6
November, 1998, Paris, France},
series = {{IFIP} Conference Proceedings},
volume = {135},
publisher = {Kluwer},
year = {1998},
isbn = {0-412-84760-4},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Ehikioya97,
author = {Sylvanus Agbonifoh Ehikioya},
title = {Specification of transaction systems protocols},
school = {University of Manitoba, Winnipeg, Canada},
year = {1997},
url = {http://hdl.handle.net/1993/878},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Ehikioya97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KellererIR96,
author = {Wolfgang Kellerer and
Andreas Iselt and
R. Riek},
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {Using {SDL} for the Specification, Simulation and Implementation of
an Advanced {OSI} Data-Link Protocol on an Embedded Microcontroller
System},
booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
{IFIP} {TC6} {WG6.1} International Conference on Formal Description
Techniques {IX} / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
series = {{IFIP} Conference Proceedings},
volume = {69},
pages = {419--434},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
biburl = {https://dblp.org/rec/conf/forte/KellererIR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LeaM95,
author = {Doug Lea and
Jos Marlowe},
editor = {Walter G. Olthoff},
title = {Interface-Based Protocol Specification of Open Systems using {PSL}},
booktitle = {ECOOP'95 - Object-Oriented Programming, 9th European Conference, {\AA}rhus,
Denmark, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {952},
pages = {374--398},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-49538-X\_18},
doi = {10.1007/3-540-49538-X\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LeaM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/LundyM93,
author = {Gilbert M. Lundy and
Raymond E. Miller},
title = {Analyzing a {CSMA/CD} protocol through a Systems of Communicating
Machines Specification},
journal = {{IEEE} Trans. Commun.},
volume = {41},
number = {3},
pages = {447--449},
year = {1993},
url = {https://doi.org/10.1109/26.221072},
doi = {10.1109/26.221072},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcom/LundyM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/ZouariHT93,
author = {Belhassen Zouari and
Serge Haddad and
Mohamed Taghelit},
editor = {Michel Cosnard and
Ram{\'{o}}n Puigjaner},
title = {A Protocol Specification Language with a High-Level Petri Net Semantics},
booktitle = {Decentralized and Distributed Systems, Proceedings of the {IFIP} {WG10.3}
International Conference on Decentralized and Distributed Systems,
Palma de Mallorca, Spain, 13-17 September 1993},
series = {{IFIP} Transactions},
volume = {{A-39}},
pages = {225--241},
publisher = {North-Holland},
year = {1993},
timestamp = {Tue, 11 Jun 2002 15:12:11 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/ZouariHT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HennigerSB93,
author = {Olaf Henniger and
Beh{\c{c}}et Sarikaya and
Steve Biedlingmaier},
editor = {Omar Rafiq},
title = {Test Suite Generation for Application Layer Protocols from Formal
Specifications in Estelle},
booktitle = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
International Workshop on Protocol Test systems, Pau, France, 28-30
September, 1993},
series = {{IFIP} Transactions},
volume = {{C-19}},
pages = {67--85},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 17 Oct 2002 11:13:42 +0200},
biburl = {https://dblp.org/rec/conf/pts/HennigerSB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LuoDB93,
author = {Gang Luo and
Anindya Das and
Gregor von Bochmann},
editor = {Omar Rafiq},
title = {Generating Tests for Control Portion of {SDL} Specifications},
booktitle = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
International Workshop on Protocol Test systems, Pau, France, 28-30
September, 1993},
series = {{IFIP} Transactions},
volume = {{C-19}},
pages = {51--66},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/LuoDB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/LundyA92,
author = {Gilbert M. Lundy and
Ian F. Akyildiz},
title = {Specification and analysis of the {FDDI} {MAC} protocol using systems
of communicating machines},
journal = {Comput. Commun.},
volume = {15},
number = {5},
pages = {286--294},
year = {1992},
url = {https://doi.org/10.1016/0140-3664(92)90089-W},
doi = {10.1016/0140-3664(92)90089-W},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/LundyA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BurgtKP92,
author = {Stan P. van de Burgt and
Jan Kroon and
A. M. Peeters},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Anindya Das},
title = {Interactive Test Generation from {LOTOS} Specifications},
booktitle = {Protocol Test Systems, V, Proceedings of the {IFIP} {TC6/WG6.1} Fifth
International Workshop on Protocol Test Systems, Montreal, Quebec,
Canada, 28-30 September, 1992},
series = {{IFIP} Transactions},
volume = {{C-11}},
pages = {189--203},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 07 Feb 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/BurgtKP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CavalliMK92,
author = {Ana R. Cavalli and
Patrick Maigron and
Sung Un Kim},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Anindya Das},
title = {Automated Protocol Conformance Test Generation Based on Formal Methods
for {LOTOS} Specifications},
booktitle = {Protocol Test Systems, V, Proceedings of the {IFIP} {TC6/WG6.1} Fifth
International Workshop on Protocol Test Systems, Montreal, Quebec,
Canada, 28-30 September, 1992},
series = {{IFIP} Transactions},
volume = {{C-11}},
pages = {237--248},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/CavalliMK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Gaudel92,
author = {Marie{-}Claude Gaudel},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Anindya Das},
title = {Test Selection Based on {ADT} Specifications},
booktitle = {Protocol Test Systems, V, Proceedings of the {IFIP} {TC6/WG6.1} Fifth
International Workshop on Protocol Test Systems, Montreal, Quebec,
Canada, 28-30 September, 1992},
series = {{IFIP} Transactions},
volume = {{C-11}},
pages = {31--40},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/Gaudel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/RoblesMH92,
author = {Tom{\'{a}}s Robles and
Jos{\'{e}} A. Ma{\~{n}}as and
Gabriel Huecas},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Anindya Das},
title = {Specification and Derivation of {OSI} Conformance Test Suites},
booktitle = {Protocol Test Systems, V, Proceedings of the {IFIP} {TC6/WG6.1} Fifth
International Workshop on Protocol Test Systems, Montreal, Quebec,
Canada, 28-30 September, 1992},
series = {{IFIP} Transactions},
volume = {{C-11}},
pages = {177--188},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/RoblesMH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/LundyLM91,
author = {Gilbert M. Lundy and
Raymond E. Miller},
title = {Specification and Analysis of a Data Transfer Protocol Using Systems
of Communicating Machines},
journal = {Distributed Comput.},
volume = {5},
pages = {145--157},
year = {1991},
url = {https://doi.org/10.1007/BF02252957},
doi = {10.1007/BF02252957},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/LundyLM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SaitoHK91,
author = {Hironori Saito and
Toru Hasegawa and
Yoshiaki Kakuda},
editor = {Ken R. Parker and
Gordon A. Rose},
title = {Protocol Verification System for {SDL} Specifications Based on Acyclic
Expansion Algorithm and Temporal Logic},
booktitle = {Formal Description Techniques, IV, Proceedings of the {IFIP} {TC6/WG6.1}
Fourth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '91, Sydney,
Australia, 19-22 November 1991},
series = {{IFIP} Transactions},
volume = {{C-2}},
pages = {511--526},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/SaitoHK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Berghe91,
author = {Fran{\c{c}}ois van den Berghe},
editor = {Jan Kroon and
Rudolf Jan Heijink and
Ed Brinksma},
title = {Overview of the Standardisation of Conformance Test Specifications
and Tools: European Work, Contribution to {ISO/CCITT} and Worldwide
Harmonisation},
booktitle = {Protocol Test Systems, IV, Proceedings of the {IFIP} {TC6/WG6.1} Fourth
International Workshop on Protocol Test Systems, Leidschendam, The
Netherlands, 15-17 October, 1991},
series = {{IFIP} Transactions},
volume = {{C-3}},
pages = {297--310},
publisher = {North-Holland},
year = {1991},
timestamp = {Wed, 13 Jul 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Berghe91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SatoTKM91,
author = {Fumiako Sato and
Hirosato Tsuji and
Kotaro Katsuyama and
Tadanori Mizuno},
editor = {Jan Kroon and
Rudolf Jan Heijink and
Ed Brinksma},
title = {Parameter Specification Language and Test Data Generation Tools for
Communication Software Testing},
booktitle = {Protocol Test Systems, IV, Proceedings of the {IFIP} {TC6/WG6.1} Fourth
International Workshop on Protocol Test Systems, Leidschendam, The
Netherlands, 15-17 October, 1991},
series = {{IFIP} Transactions},
volume = {{C-3}},
pages = {207--218},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/SatoTKM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Meadows91,
author = {Catherine Meadows},
title = {A System for the Specification and Verification of Key Management
Protocols},
booktitle = {Proceedings of the 1991 {IEEE} Symposium on Security and Privacy,
Oakland, California, USA, May 20-22, 1991},
pages = {182--197},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/RISP.1991.130786},
doi = {10.1109/RISP.1991.130786},
timestamp = {Thu, 21 Sep 2023 15:57:35 +0200},
biburl = {https://dblp.org/rec/conf/sp/Meadows91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RamanathanS90,
author = {S. Ramanathan and
G. Sivakumar},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {Rewrite Systems for Protocol Specification and Verification},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {79--94},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/RamanathanS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc1094,
author = {William I. Nowicki},
title = {{NFS:} Network File System Protocol specification},
journal = {{RFC}},
volume = {1094},
pages = {1--27},
year = {1989},
url = {https://doi.org/10.17487/RFC1094},
doi = {10.17487/RFC1094},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc1094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs/Parker88,
author = {J. D. Parker},
editor = {Charles Rattray},
title = {Synchronization in Network Protocols},
booktitle = {Specification and Verification of Concurrent Systems {[BCS-FACS} Workshop,
6-8 July 1988, University of Stirling, Scotland, {UK]}},
series = {Workshops in Computing},
pages = {344--367},
publisher = {Springer},
year = {1988},
timestamp = {Wed, 19 Feb 2003 15:42:44 +0100},
biburl = {https://dblp.org/rec/conf/facs/Parker88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs/ParkerBC88,
author = {Kenneth R. Parker and
Rainer A. Berger and
Kong E. Cheng},
editor = {Charles Rattray},
title = {Protocol Analysis and Implementation using NPNs and {SDL}},
booktitle = {Specification and Verification of Concurrent Systems {[BCS-FACS} Workshop,
6-8 July 1988, University of Stirling, Scotland, {UK]}},
series = {Workshops in Computing},
pages = {100--120},
publisher = {Springer},
year = {1988},
timestamp = {Wed, 19 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs/ParkerBC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs/TilanusY88,
author = {Paul A. J. Tilanus and
Yan Yang},
editor = {Charles Rattray},
title = {Experience with {LOTOS} and Environment {LOTTE} on an {ISDN} Protocol},
booktitle = {Specification and Verification of Concurrent Systems {[BCS-FACS} Workshop,
6-8 July 1988, University of Stirling, Scotland, {UK]}},
series = {Workshops in Computing},
pages = {486--499},
publisher = {Springer},
year = {1988},
timestamp = {Wed, 19 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs/TilanusY88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc1044,
author = {Ken Hardwick and
John Lekashman},
title = {Internet Protocol on Network System's HYPERchannel: Protocol Specification},
journal = {{RFC}},
volume = {1044},
pages = {1--43},
year = {1988},
url = {https://doi.org/10.17487/RFC1044},
doi = {10.17487/RFC1044},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc1044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kivs/Yong87,
author = {Sun Yong},
editor = {Nina Gerner and
Otto Spaniol},
title = {Formal Specification of Protocols and its Independence of Communication
Mechanism},
booktitle = {Kommunikation in Verteilten Systemen, Anwendungen, Betrieb, Grundlagen,
GI/ITG-Fachtagung, Aachen, 16.-20. Februar 1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {130},
pages = {751--762},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-71655-3\_60},
doi = {10.1007/978-3-642-71655-3\_60},
timestamp = {Tue, 23 May 2017 01:06:28 +0200},
biburl = {https://dblp.org/rec/conf/kivs/Yong87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Rudin86,
author = {Harry Rudin},
editor = {Albert T. K{\"{u}}ndig and
Richard E. B{\"{u}}hrer and
Jacques D{\"{a}}hler},
title = {Tools for Protocols Driven by Formal Specifications},
booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design,
An Advances Course, Z{\"{u}}rich, Switzerland, March 5-7, 1986},
series = {Lecture Notes in Computer Science},
volume = {284},
pages = {127--152},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016350},
doi = {10.1007/BFB0016350},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ac/Rudin86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibm/BurkhardtE86,
author = {Heinz J{\"{u}}rgen Burkhardt and
Hans Eckert},
editor = {G{\"{u}}nter M{\"{u}}ller and
Robert P. Blanc},
title = {From Protocol Specification to Implementation and Test},
booktitle = {Networking in Open Systems, International Seminar, Oberlech, Austria,
August 18-22, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {248},
pages = {373--399},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0026972},
doi = {10.1007/BFB0026972},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ibm/BurkhardtE86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibm/Rudin86,
author = {Harry Rudin},
editor = {G{\"{u}}nter M{\"{u}}ller and
Robert P. Blanc},
title = {The Dimension of Time in Protocol Specification},
booktitle = {Networking in Open Systems, International Seminar, Oberlech, Austria,
August 18-22, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {248},
pages = {360--372},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0026971},
doi = {10.1007/BFB0026971},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ibm/Rudin86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccc/BurkhardtEP86,
author = {Heinz J{\"{u}}rgen Burkhardt and
Hans Eckert and
Rainer Prinoth},
editor = {Paul J. K{\"{u}}hn},
title = {Implementing {OSI} Communication Protocols - {A} Systematic Approach
to Derive SDL-Implementation Specifications from Global Protocol Specifications},
booktitle = {New Communication Services: {A} Challenge to Computer Technology,
Proceedings of the Eigth International Conference on Computer Communication,
Munich, Germany, September 15-19, 1986},
pages = {531--536},
publisher = {International Council for Computer Communication / Elsevier},
year = {1986},
timestamp = {Fri, 22 Jul 2016 09:50:51 +0200},
biburl = {https://dblp.org/rec/conf/iccc/BurkhardtEP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccc/Koomen86,
author = {Cees J. Koomen},
editor = {Paul J. K{\"{u}}hn},
title = {Towards a Specification and Design Method for Embedded Systems Using
Protocol Synthesis},
booktitle = {New Communication Services: {A} Challenge to Computer Technology,
Proceedings of the Eigth International Conference on Computer Communication,
Munich, Germany, September 15-19, 1986},
pages = {491--496},
publisher = {International Council for Computer Communication / Elsevier},
year = {1986},
timestamp = {Fri, 22 Jul 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccc/Koomen86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/trends86/DiazCP86,
author = {Michel Diaz and
Jean{-}Pierre Courtiat and
Aloysio Pedroza},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Design, Specification and Validation of Hierarchies of Protocols in
Distributed Systems},
booktitle = {Current Trends in Concurrency, Overviews and Tutorials},
series = {Lecture Notes in Computer Science},
volume = {224},
pages = {208--265},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0027042},
doi = {10.1007/BFB0027042},
timestamp = {Fri, 17 Jul 2020 16:12:44 +0200},
biburl = {https://dblp.org/rec/books/sp/trends86/DiazCP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/BergstraK85,
author = {Jan A. Bergstra and
Jan Willem Klop},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Verification of an alternating bit protocol by means of process algebra},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {9--23},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_1},
doi = {10.1007/3-540-16444-8\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/aii/BergstraK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kivs/Rudin85,
author = {Harry Rudin},
editor = {Dirk Heger and
Gerhard Kr{\"{u}}ger and
Otto Spaniol and
Werner Zorn},
title = {Time in Formal Protocol Specifications},
booktitle = {Kommunikation in Verteilten Systemen I, Anwendungen, Betrieb, Grundlagen,
GI/ITG-Fachtagung, Karlsruhe, 13.-15. M{\"{a}}rz 1985, Proceedings},
series = {Informatik-Fachberichte},
volume = {95},
pages = {575--587},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-70285-3\_35},
doi = {10.1007/978-3-642-70285-3\_35},
timestamp = {Tue, 23 May 2017 01:06:29 +0200},
biburl = {https://dblp.org/rec/conf/kivs/Rudin85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BurkhardtEG85,
author = {Heinz J{\"{u}}rgen Burkhardt and
Hans Eckert and
Alfred Giessler},
editor = {Michel Diaz},
title = {Testing of protocol implementations. {A} systematic approach to derivation
of test sequences form global protocol specifications},
booktitle = {Protocol Specification, Testing and Verification V, Proceedings of
the {IFIP} {WG6.1} Fifth International Conference on Protocol Specification,
Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985},
pages = {461--481},
publisher = {North-Holland},
year = {1985},
timestamp = {Mon, 07 Jan 2002 16:07:03 +0100},
biburl = {https://dblp.org/rec/conf/pstv/BurkhardtEG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Ansart84,
author = {Jean{-}Pierre Ansart},
editor = {Mack W. Alford and
Jean{-}Pierre Ansart and
G{\"{u}}nter Hommel and
Leslie Lamport and
Barbara Liskov and
Geoff P. Mullery and
Fred B. Schneider},
title = {Issues and Tools for Protocol Specification},
booktitle = {Distributed Systems: Methods and Tools for Specification, An Advanced
Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany},
series = {Lecture Notes in Computer Science},
volume = {190},
pages = {481--538},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15216-4\_19},
doi = {10.1007/3-540-15216-4\_19},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/ac/Ansart84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/SchwartzM83,
author = {Richard L. Schwartz and
P. M. Melliar{-}Smith},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {From State Machines to Temporal Logic: Specification Methods for Protocol
Standards},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {55--65},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_35},
doi = {10.1007/3-540-16047-7\_35},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/acs/SchwartzM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BlumerS83,
author = {Thomas P. Blumer and
Deepinder P. Sidhu},
editor = {Harry Rudin and
Colin H. West},
title = {Experience with an Automated Protocol Development System},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {369--380},
publisher = {North-Holland},
year = {1983},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BlumerS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BudkowskiN83,
author = {Stanislaw Budkowski and
Elie Najm},
editor = {Harry Rudin and
Colin H. West},
title = {Structured Finite State Automata - {A} new approach for modelling
distributed communications systems},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {95--110},
publisher = {North-Holland},
year = {1983},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BudkowskiN83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/EckertP83,
author = {Hans Eckert and
Rainer Prinoth},
editor = {Harry Rudin and
Colin H. West},
title = {A Computation-System Based Method for Automated Proving of Protocols
Against Services},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {213--228},
publisher = {North-Holland},
year = {1983},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/EckertP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Harvey83,
author = {George A. Harvey},
editor = {Harry Rudin and
Colin H. West},
title = {The Routing Certification System},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {465--476},
publisher = {North-Holland},
year = {1983},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Harvey83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HolzmannB83,
author = {Gerard J. Holzmann and
Rob A. Beukers},
editor = {Harry Rudin and
Colin H. West},
title = {The Pandora Protocol Development System},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {357--368},
publisher = {North-Holland},
year = {1983},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HolzmannB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Karjoth83,
author = {G{\"{u}}nter Karjoth},
editor = {Harry Rudin and
Colin H. West},
title = {A Behavioural Description Language for the Formal Treatment of Protocols
in Distributed Systems},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {125--136},
publisher = {North-Holland},
year = {1983},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Karjoth83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/PalazzoFM83,
author = {Sergio Palazzo and
P. Fogliata and
Gesualdo Le Moli},
editor = {Harry Rudin and
Colin H. West},
title = {A Layer-Independent Architecture for a Testing System of Protocol
Implementations},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {393--406},
publisher = {North-Holland},
year = {1983},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/PalazzoFM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/StromY83,
author = {Robert E. Strom and
Shaula Yemini},
editor = {Harry Rudin and
Colin H. West},
title = {Design, Implementation, and Validation of Secure Communications Systems},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {317--332},
publisher = {North-Holland},
year = {1983},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/StromY83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/X82,
title = {Information processing systems-open systems interconnection-transport
protocol specification},
journal = {Comput. Commun. Rev.},
volume = {12},
number = {3-4},
pages = {24--67},
year = {1982},
url = {https://doi.org/10.1145/1015601.1015603},
doi = {10.1145/1015601.1015603},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/X82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/PiatkowskiIH82,
author = {Thomas F. Piatkowski and
Lap{-}Kin Ip and
Dayun He},
title = {State Architecture Notation and Simulation: {A} Formal Technique for
the Specification and Testing of Protocol Systems},
journal = {Comput. Networks},
volume = {6},
number = {6},
pages = {397--418},
year = {1982},
url = {https://doi.org/10.1016/0376-5075(82)90111-8},
doi = {10.1016/0376-5075(82)90111-8},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/PiatkowskiIH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/EstraillierG82,
author = {Pascal Estraillier and
Claude Girault},
title = {Petri Net Specification of a New Protocol for Controlling a Distributed
System Organization},
booktitle = {Proceedings of the 3rd International Conference on Distributed Computing
Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982},
pages = {654--659},
publisher = {{IEEE} Computer Society},
year = {1982},
timestamp = {Thu, 25 Jul 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/EstraillierG82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/PiatkowskiIH82,
author = {Thomas F. Piatkowski and
Lap{-}Kin Ip and
Dayun He},
editor = {Carl A. Sunshine},
title = {State Architecture Notation and Simulation: {A} Formal Technique for
the Specification and Testing of Protocol Systems},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {135--160},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 16:10:28 +0100},
biburl = {https://dblp.org/rec/conf/pstv/PiatkowskiIH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddb/Miranda80,
author = {Serge Miranda},
editor = {Claude Delobel and
Witold Litwin},
title = {Specification and Validation of Two Ring-Structured Synchronization
Protocols for Distributed Data Systems},
booktitle = {Proceedings of the International Symposium on Distributed Data Bases,
Paris, France, March 12-14, 1980},
pages = {247--274},
publisher = {North-Holland Publishing Company},
year = {1980},
timestamp = {Mon, 05 Aug 2019 12:10:30 +0200},
biburl = {https://dblp.org/rec/conf/ddb/Miranda80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kivs/SchindlerAFSS79,
author = {Sigram Schindler and
D. Altenkr{\"{u}}ger and
Ute Flasche and
Juergen Schulze and
Michael Steinacker},
editor = {Sigram Schindler and
J{\"{u}}rgen C. W. Schr{\"{o}}der},
title = {The {OSA} Project - Design and Formal Specification of an {X.25} Based
Open Transport Layer and its Protocols},
booktitle = {Kommunikation in Verteilten Systemen - Workshop der Gesellschaft f{\"{u}}r
Informatik e.V., 3.-4. Dezember 1979, Berlin},
series = {Informatik-Fachberichte},
volume = {22},
pages = {51--86},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/978-3-642-67553-9\_3},
doi = {10.1007/978-3-642-67553-9\_3},
timestamp = {Tue, 23 May 2017 01:06:28 +0200},
biburl = {https://dblp.org/rec/conf/kivs/SchindlerAFSS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-07 16:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
