Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/utp/utp2014.bht:"
@proceedings{DBLP:conf/utp/2014, editor = {David A. Naumann}, title = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-14806-9}, doi = {10.1007/978-3-319-14806-9}, isbn = {978-3-319-14805-2}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/utp/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/CanhamW14, author = {Samuel Canham and Jim Woodcock}, editor = {David A. Naumann}, title = {Three Approaches to Timed External Choice in {UTP}}, booktitle = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, pages = {1--20}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-14806-9\_1}, doi = {10.1007/978-3-319-14806-9\_1}, timestamp = {Tue, 21 Mar 2023 21:03:09 +0100}, biburl = {https://dblp.org/rec/conf/utp/CanhamW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/FosterZW14, author = {Simon Foster and Frank Zeyda and Jim Woodcock}, editor = {David A. Naumann}, title = {Isabelle/UTP: {A} Mechanised Theory Engineering Framework}, booktitle = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, pages = {21--41}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-14806-9\_2}, doi = {10.1007/978-3-319-14806-9\_2}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/utp/FosterZW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/RibeiroC14, author = {Pedro Ribeiro and Ana Cavalcanti}, editor = {David A. Naumann}, title = {Angelicism in the Theory of Reactive Processes}, booktitle = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, pages = {42--61}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-14806-9\_3}, doi = {10.1007/978-3-319-14806-9\_3}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/utp/RibeiroC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/Staden14, author = {Stephan van Staden}, editor = {David A. Naumann}, title = {Constructing the Views Framework}, booktitle = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, pages = {62--83}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-14806-9\_4}, doi = {10.1007/978-3-319-14806-9\_4}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/utp/Staden14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/WeiW14, author = {Kun Wei and Jim Woodcock}, editor = {David A. Naumann}, title = {Towards Algebraic Semantics of Circus Time}, booktitle = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, pages = {84--104}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-14806-9\_5}, doi = {10.1007/978-3-319-14806-9\_5}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/utp/WeiW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/WuZW14, author = {Xiaofeng Wu and Huibiao Zhu and Xi Wu}, editor = {David A. Naumann}, title = {Observation-Oriented Semantics for Calculus of Wireless Systems}, booktitle = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, pages = {105--124}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-14806-9\_6}, doi = {10.1007/978-3-319-14806-9\_6}, timestamp = {Mon, 06 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/utp/WuZW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/ZhuXHZ14, author = {Longfei Zhu and Qiwen Xu and Jifeng He and Huibiao Zhu}, editor = {David A. Naumann}, title = {A Formal Model for a Hybrid Programming Language}, booktitle = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, pages = {125--142}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-14806-9\_7}, doi = {10.1007/978-3-319-14806-9\_7}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/utp/ZhuXHZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.