iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/49/4599.html?view=bibtex
dblp: BibTeX records: Alistair Munro

BibTeX records: Alistair Munro

download as .bib file

@inproceedings{DBLP:conf/vtc/MunroC19,
  author       = {Alistair Munro and
                  Gary Clayton},
  title        = {Drone Swarms, Communications Performance and Big Data},
  booktitle    = {90th {IEEE} Vehicular Technology Conference, {VTC} Fall 2019, Honolulu,
                  HI, USA, September 22-25, 2019},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/VTCFall.2019.8891336},
  doi          = {10.1109/VTCFALL.2019.8891336},
  timestamp    = {Mon, 20 Dec 2021 11:29:04 +0100},
  biburl       = {https://dblp.org/rec/conf/vtc/MunroC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilight/Munro10,
  author       = {Alistair Munro},
  editor       = {Periklis Chatzimisios and
                  Christos V. Verikoukis and
                  Ignacio Santamar{\'{\i}}a and
                  Massimiliano Laddomada and
                  Oliver Hoffmann},
  title        = {Sensor Networks - Critical Infrastructure for Society? Challenges
                  for Resilience, Security and Interoperability},
  booktitle    = {Mobile Lightweight Wireless Systems - Second International {ICST}
                  Conference, {MOBILIGHT} 2010, Barcelona, Spain, May 10-12, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {45},
  pages        = {243--253},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16644-0\_22},
  doi          = {10.1007/978-3-642-16644-0\_22},
  timestamp    = {Sat, 24 Nov 2018 11:59:43 +0100},
  biburl       = {https://dblp.org/rec/conf/mobilight/Munro10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaacs/HeZKMM08,
  author       = {Jianhua He and
                  Yan Zhang and
                  Dritan Kaleshi and
                  Alistair Munro and
                  Joseph McGeehan},
  title        = {Dynamic Spectrum Access in heterogeneous unlicensed wireless networks},
  journal      = {Int. J. Auton. Adapt. Commun. Syst.},
  volume       = {1},
  number       = {1},
  pages        = {148--163},
  year         = {2008},
  url          = {https://doi.org/10.1504/IJAACS.2008.019204},
  doi          = {10.1504/IJAACS.2008.019204},
  timestamp    = {Sun, 30 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaacs/HeZKMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/MahadevanNM08,
  author       = {Naventhan Mahadevan and
                  Guy P. Nason and
                  Alistair Munro},
  title        = {Multi-Dimensional Network Function Estimation},
  booktitle    = {Proceedings of {IEEE} International Conference on Communications,
                  {ICC} 2008, Beijing, China, 19-23 May 2008},
  pages        = {468--472},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICC.2008.93},
  doi          = {10.1109/ICC.2008.93},
  timestamp    = {Tue, 12 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icc/MahadevanNM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwqos/XiMB08,
  author       = {Weihua Helen Xi and
                  Alistair Munro and
                  Michael Barton},
  editor       = {Hans van den Berg and
                  Gunnar Karlsson},
  title        = {Architecture of Achieving QoS for Multiple Flows per Node in WLANs},
  booktitle    = {16th International Workshop on Quality of Service, IWQoS 2008, University
                  of Twente, Enskede, The Netherlands, 2-4 June 2008},
  pages        = {191--198},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/IWQOS.2008.27},
  doi          = {10.1109/IWQOS.2008.27},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/iwqos/XiMB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/XiMB08,
  author       = {Weihua Helen Xi and
                  Alistair Munro and
                  Michael Barton},
  editor       = {Amitabha Das and
                  Hung Keng Pung and
                  Francis Bu{-}Sung Lee and
                  Lawrence Wai{-}Choong Wong},
  title        = {Link Adaptation Algorithm for the {IEEE} 802.11n {MIMO} System},
  booktitle    = {{NETWORKING} 2008, Ad Hoc and Sensor Networks, Wireless Networks,
                  Next Generation Internet , 7th International {IFIP-TC6} Networking
                  Conference, Singapore, May 5-9, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4982},
  pages        = {780--791},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-79549-0\_68},
  doi          = {10.1007/978-3-540-79549-0\_68},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/networking/XiMB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/TanM07,
  author       = {Siok Kheng Tan and
                  Alistair Munro},
  title        = {Adaptive Probabilistic Epidemic Protocol for Wireless Sensor Networks
                  in an Urban Environment},
  booktitle    = {Proceedings of the 16th International Conference on Computer Communications
                  and Networks, {IEEE} {ICCCN} 2007, Turtle Bay Resort, Honolulu, Hawaii,
                  USA, August 13-16, 2007},
  pages        = {1105--1110},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICCCN.2007.4317966},
  doi          = {10.1109/ICCCN.2007.4317966},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icccn/TanM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/DebM07,
  author       = {Swati Sinha Deb and
                  Alistair Munro},
  title        = {Closing the Loop for Dynamic {IP} QoS Provisioning: {A} Case Study},
  booktitle    = {32nd Annual {IEEE} Conference on Local Computer Networks {(LCN} 2007),
                  15-18 October 2007, Clontarf Castle, Dublin, Ireland, Proceedings},
  pages        = {368--375},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/LCN.2007.56},
  doi          = {10.1109/LCN.2007.56},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lcn/DebM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iswcs/HeKMM06,
  author       = {Jianhua He and
                  Dritan Kaleshi and
                  Alistair Munro and
                  Joe McGeehan},
  title        = {Modeling Link Adaptation Algorithm for {IEEE} 802.11 Wireless {LAN}
                  Networks},
  booktitle    = {Proceedings of the 3rd {IEEE} International Symposium on Wireless
                  Communication Systems, {ISWCS} 2006, Valencia, Spain, 5-8 September
                  2006},
  pages        = {500--504},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISWCS.2006.4362348},
  doi          = {10.1109/ISWCS.2006.4362348},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iswcs/HeKMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/HainesCM06,
  author       = {Russell J. Haines and
                  Gary Clemo and
                  Alistair Munro},
  title        = {Toward Formal Verification of 802.11 {MAC} Protocols: Verifying a
                  Petri-Net Model of 802.11 {PCF}},
  booktitle    = {Proceedings of the 64th {IEEE} Vehicular Technology Conference, {VTC}
                  Fall 2006, 25-28 September 2006, Montr{\'{e}}al, Qu{\'{e}}bec,
                  Canada},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/VTCF.2006.462},
  doi          = {10.1109/VTCF.2006.462},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vtc/HainesCM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/GormusKMM06,
  author       = {Sedat G{\"{o}}rm{\"{u}}s and
                  Dritan Kaleshi and
                  Joe McGeehan and
                  Alistair Munro},
  title        = {Relaying and routing in wireless networks: a throughput comparison},
  booktitle    = {Proceedings of the 63rd {IEEE} Vehicular Technology Conference, {VTC}
                  Spring 2006, 7-10 May 2006, Melbourne, Australia},
  pages        = {440--445},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/VETECS.2006.1682853},
  doi          = {10.1109/VETECS.2006.1682853},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vtc/GormusKMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/HainesMC06,
  author       = {Russell J. Haines and
                  Alistair Munro and
                  Gary Clemo},
  title        = {Toward Formal Verification of 802.11 {MAC} Protocols: a Case Study
                  of Applying Petri-nets to Modeling the 802.11 {PCF}},
  booktitle    = {Proceedings of the 63rd {IEEE} Vehicular Technology Conference, {VTC}
                  Spring 2006, 7-10 May 2006, Melbourne, Australia},
  pages        = {1171--1175},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/VETECS.2006.1683019},
  doi          = {10.1109/VETECS.2006.1683019},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vtc/HainesMC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/GormusKMM06,
  author       = {Sedat G{\"{o}}rm{\"{u}}s and
                  Dritan Kaleshi and
                  Joe McGeehan and
                  Alistair Munro},
  title        = {Performance comparison of cooperative and non-cooperative relaying
                  mechanisms in wireless networks},
  booktitle    = {{IEEE} Wireless Communications and Networking Conference, {WCNC} 2006,
                  3-6 April 2006, Las Vegas, Nevada, {USA}},
  pages        = {890--896},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/WCNC.2006.1683588},
  doi          = {10.1109/WCNC.2006.1683588},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcnc/GormusKMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HaradaM05,
  author       = {Hiroshi Harada and
                  Alistair Munro},
  title        = {Special Section on Multi-dimensional Mobile Information Networks},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {88-A},
  number       = {7},
  pages        = {1771},
  year         = {2005},
  url          = {https://doi.org/10.1093/ietfec/e88-a.7.1771},
  doi          = {10.1093/IETFEC/E88-A.7.1771},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieicet/HaradaM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icn/LiMK05,
  author       = {Yuliang Li and
                  Alistair Munro and
                  Dritan Kaleshi},
  editor       = {Pascal Lorenz and
                  Petre Dini},
  title        = {Multi-rate Congestion Control over {IP} Multicast},
  booktitle    = {Networking - {ICN} 2005, 4th International Conference on Networking,
                  ReunionIsland, France, April 17-21, 2005, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3421},
  pages        = {1012--1022},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31957-3\_115},
  doi          = {10.1007/978-3-540-31957-3\_115},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/icn/LiMK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipccc/LiMK05,
  author       = {Yuliang Li and
                  Alistair Munro and
                  Dritan Kaleshi},
  title        = {Multi-rate congestion control using packet-pair bandwidth detection
                  with session and layer changing manager},
  booktitle    = {Proceedings of the 24th {IEEE} International Performance Computing
                  and Communications Conference, {IPCCC} 2005, April 7-9, 2005, Phoenix,
                  Arizona, {USA}},
  pages        = {485--490},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/PCCC.2005.1460619},
  doi          = {10.1109/PCCC.2005.1460619},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipccc/LiMK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/HeKMWDMF05,
  author       = {Jianhua He and
                  Dritan Kaleshi and
                  Alistair Munro and
                  Yiming Wang and
                  Angela Doufexi and
                  Joe McGeehan and
                  Zhong Fan},
  editor       = {Azzedine Boukerche and
                  Victor C. M. Leung and
                  Carla{-}Fabiana Chiasserini and
                  Vikram Srinivasan},
  title        = {Performance investigation of {IEEE} 802.11 {MAC} in multihop wireless
                  networks},
  booktitle    = {Proceedings of the 8th International Symposium on Modeling Analysis
                  and Simulation of Wireless and Mobile Systems, MSWiM 2005, Montr{\'{e}}al,
                  Quebec, Canada, October 10-13, 2005},
  pages        = {242--249},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1089444.1089487},
  doi          = {10.1145/1089444.1089487},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/HeKMWDMF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmns/SongKM03,
  author       = {Terence Song and
                  Dritan Kaleshi and
                  Alistair Munro},
  editor       = {Alan Marshall and
                  Nazim Agoulmine},
  title        = {CORBA-Based Stream Control and Management for IP-Based Production
                  Studio Networks},
  booktitle    = {Management of Multimedia Networks and Services, 6th {IFIP/IEEE} International
                  Conference, {MMNS} 2003, Belfast, Northern Ireland, UK, September
                  7-10, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2839},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39404-4\_1},
  doi          = {10.1007/978-3-540-39404-4\_1},
  timestamp    = {Fri, 08 Nov 2019 13:02:40 +0100},
  biburl       = {https://dblp.org/rec/conf/mmns/SongKM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/BasgeetDMKI03,
  author       = {Dharmayashdev Rai Basgeet and
                  Pascal Dugenie and
                  Alistair Munro and
                  Dritan Kaleshi and
                  James Irvine},
  editor       = {Rassul Ayani and
                  Carla{-}Fabiana Chiasserini and
                  Hossam S. Hassanein},
  title        = {{SMM:} mathematical framework of a scalable mobility model},
  booktitle    = {Proceedings of the 6th International Symposium on Modeling Analysis
                  and Simulation of Wireless and Mobile Systems, MSWiM 2003, San Diego,
                  CA, USA, September 19, 2003},
  pages        = {74--81},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/940991.941005},
  doi          = {10.1145/940991.941005},
  timestamp    = {Tue, 07 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/BasgeetDMKI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmm/DugenieMB02,
  author       = {Pascal Dugenie and
                  Alistair Munro and
                  M. H. Barton},
  title        = {Toward assessing subjective quality of service of conversational mobile
                  multimedia applications delivered over the internet: a methodology
                  study},
  journal      = {{IEEE} Trans. Multim.},
  volume       = {4},
  number       = {1},
  pages        = {59--67},
  year         = {2002},
  url          = {https://doi.org/10.1109/6046.985554},
  doi          = {10.1109/6046.985554},
  timestamp    = {Thu, 01 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tmm/DugenieMB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/Munro00,
  author       = {Alistair Munro},
  title        = {Mobile middleware for the reconfigurable software radio},
  journal      = {{IEEE} Commun. Mag.},
  volume       = {38},
  number       = {8},
  pages        = {152--161},
  year         = {2000},
  url          = {https://doi.org/10.1109/35.860867},
  doi          = {10.1109/35.860867},
  timestamp    = {Wed, 03 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cm/Munro00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ios/dalsgaard99/Munro99,
  author       = {Alistair Munro},
  editor       = {Birte Christensen{-}Dalsgaard and
                  William Donnelly and
                  Michael Griffith},
  title        = {{UMPTIDUMPTI} - Anytime, Anywhere, Anybody - {UMTS} for {ALL}},
  booktitle    = {Flexible Working - New Network Technologies},
  pages        = {133--149},
  publisher    = {{IOS} Press},
  year         = {1999},
  url          = {http://www.cordis.lu/infowin/acts/analysys/products/thematic/flexwork/2-7/2-7.htm},
  timestamp    = {Sat, 03 Aug 2019 19:05:03 +0200},
  biburl       = {https://dblp.org/rec/books/ios/dalsgaard99/Munro99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/MunroGDMM98,
  author       = {Alistair Munro and
                  Eckhard Geulen and
                  Michel Deguine and
                  Giuseppe Melpignano and
                  Ana Mart{\'{\i}}nez},
  title        = {Services and applications: requirements and realizations in the {UMTS}
                  era},
  journal      = {{IEEE} Commun. Mag.},
  volume       = {36},
  number       = {2},
  pages        = {118--126},
  year         = {1998},
  url          = {https://doi.org/10.1109/35.648778},
  doi          = {10.1109/35.648778},
  timestamp    = {Tue, 06 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cm/MunroGDMM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/CarseFM98,
  author       = {Brian Carse and
                  Terence C. Fogarty and
                  Alistair Munro},
  title        = {Artificial evolution of fuzzy rule bases which represent time: {A}
                  temporal fuzzy classifier system},
  journal      = {Int. J. Intell. Syst.},
  volume       = {13},
  number       = {10-11},
  pages        = {905--927},
  year         = {1998},
  url          = {https://doi.org/10.1002/(SICI)1098-111X(199810/11)13:10/11\&\#60;905::AID-INT3\&\#62;3.0.CO;2-2},
  doi          = {10.1002/(SICI)1098-111X(199810/11)13:10/11\&\#60;905::AID-INT3\&\#62;3.0.CO;2-2},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijis/CarseFM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/CarseFM96,
  author       = {Brian Carse and
                  Terence C. Fogarty and
                  Alistair Munro},
  title        = {Evolving fuzzy rule based controllers using genetic algorithms},
  journal      = {Fuzzy Sets Syst.},
  volume       = {80},
  number       = {3},
  pages        = {273--293},
  year         = {1996},
  url          = {https://doi.org/10.1016/0165-0114(95)00196-4},
  doi          = {10.1016/0165-0114(95)00196-4},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/CarseFM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisb/CarseFM95,
  author       = {Brian Carse and
                  Terence C. Fogarty and
                  Alistair Munro},
  editor       = {Terence C. Fogarty},
  title        = {Evolutionary Learning in Computational Ecologies: An Application to
                  Adaptive, Distributed Routing in Communication Networks},
  booktitle    = {Evolutionary Computing, {AISB} Workshop, Sheffield, UK, April 3-4,
                  1995, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {993},
  pages        = {103--116},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60469-3\_29},
  doi          = {10.1007/3-540-60469-3\_29},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/aisb/CarseFM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icga/CarseFM95,
  author       = {Brian Carse and
                  Terence C. Fogarty and
                  Alistair Munro},
  editor       = {Larry J. Eshelman},
  title        = {Adaptive Distributed Routing Using Evolutionary Fuzzy Control},
  booktitle    = {Proceedings of the 6th International Conference on Genetic Algorithms,
                  Pittsburgh, PA, USA, July 15-19, 1995},
  pages        = {389--396},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  timestamp    = {Wed, 04 Sep 2002 07:28:28 +0200},
  biburl       = {https://dblp.org/rec/conf/icga/CarseFM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ZhangMB94,
  author       = {Bairong Zhang and
                  Alistair Munro and
                  Michael Barton},
  editor       = {Dieter Hogrefe and
                  Stefan Leue},
  title        = {The formalization and analysis of {CCR} protocol and service},
  booktitle    = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
                  International Conference on Formal Description Techniques, Berne,
                  Switzerland, 1994},
  series       = {{IFIP} Conference Proceedings},
  volume       = {6},
  pages        = {87--99},
  publisher    = {Chapman {\&} Hall},
  year         = {1994},
  timestamp    = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/ZhangMB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChenM93,
  author       = {Liang Chen and
                  Alistair Munro},
  editor       = {Jim Woodcock and
                  Peter Gorm Larsen},
  title        = {Applications of Modal Logic for the Specification of Real-Time Systems},
  booktitle    = {{FME} '93: Industrial-Strength Formal Methods, First International
                  Symposium of Formal Methods Europe, Odense, Denmark, April 19-23,
                  1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {670},
  pages        = {235--249},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0024649},
  doi          = {10.1007/BFB0024649},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/ChenM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/odp/Munro93,
  author       = {Alistair Munro},
  editor       = {Jan de Meer and
                  Bernd Mahr and
                  Silke Storp},
  title        = {Home Automation Systems: {ODP} in the Kitchen?},
  booktitle    = {Open Distributed Processing, {II:} Proceedings of the {IFIP} {TC6/WG6.1}
                  International Conference on Open Distributed Processing, Berlin, Germany,
                  13-16 September 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-20}},
  pages        = {277--288},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 12:06:41 +0100},
  biburl       = {https://dblp.org/rec/conf/odp/Munro93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}