![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "APC 25"
@inproceedings{DBLP:conf/apccas/SoniVSK23, author = {Sandeep Soni and Gaurav Verma and Alok Kumar Shukla and Brajesh Kumar Kaushik}, title = {Energy Efficient {DSHE} based Analogue Multiply Accumulate Computing Crossbar Architecture}, booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS} 2023, Hyderabad, India, November 19-22, 2023}, pages = {21--25}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/APCCAS60141.2023.00017}, doi = {10.1109/APCCAS60141.2023.00017}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apccas/SoniVSK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/GongZZCT22, author = {Xundong Gong and Yifan Zuo and Yu Zhang and Ming Chen and Haicheng Tu}, title = {Key Features Selection of Power System Operation Via Improved Clustering Algorithm}, booktitle = {{IEEE} Asia Pacific Conference on Circuit and Systems, {APCCAS} 2022, Shenzhen, China, November 11-13, 2022}, pages = {25--29}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/APCCAS55924.2022.10090368}, doi = {10.1109/APCCAS55924.2022.10090368}, timestamp = {Sat, 22 Apr 2023 16:25:51 +0200}, biburl = {https://dblp.org/rec/conf/apccas/GongZZCT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/ZhangCW21, author = {Chen Zhang and Chunhong Chen and Huapeng Wu}, title = {Area-Efficient Finite Field Multiplication in {\textdollar}{\textbackslash}text\{GF\} (2\{n\}){\textdollar} Using Single-Electron Transistors}, booktitle = {{IEEE} Asia Pacific Conference on Circuit and Systems, {APCCAS} 2021, Penang, Malaysia, November 22-26, 2021}, pages = {25--28}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/APCCAS51387.2021.9687675}, doi = {10.1109/APCCAS51387.2021.9687675}, timestamp = {Fri, 11 Feb 2022 09:29:50 +0100}, biburl = {https://dblp.org/rec/conf/apccas/ZhangCW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apcorise/Transitpong21, author = {Praowpan Transitpong}, editor = {Romadhani Ardi and Armand Omar Moeis}, title = {Operational Service Strategy for {COVID-19} Pandemic: {A} Case Study from the Airline Industry}, booktitle = {4th Asia Pacific Conference on Research in Industrial and Systems Engineering 2021, APCoRISE 2021, Depok, Indonesia, 25 May 2021}, pages = {21--25}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3468013.3468303}, doi = {10.1145/3468013.3468303}, timestamp = {Thu, 02 Mar 2023 12:12:27 +0100}, biburl = {https://dblp.org/rec/conf/apcorise/Transitpong21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apcorise/2021, editor = {Romadhani Ardi and Armand Omar Moeis}, title = {4th Asia Pacific Conference on Research in Industrial and Systems Engineering 2021, APCoRISE 2021, Depok, Indonesia, 25 May 2021}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3468013}, doi = {10.1145/3468013}, isbn = {978-1-4503-9038-5}, timestamp = {Thu, 02 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apcorise/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apcorise/DarmawanS20, author = {Taufan Sulistyo Darmawan and Amalia Suzianti}, title = {Knowledge Management Framework in New Product Development Projects of Automotive Industries}, booktitle = {APCoRISE 2020: 3rd Asia Pacific Conference on Research in Industrial and Systems Engineering 2020, Depok, Indonesia, June, 2020}, pages = {25--29}, publisher = {{ACM}}, year = {2020}, url = {https://dl.acm.org/doi/10.1145/3400934.3400941}, doi = {10.1145/3400934.3400941}, timestamp = {Fri, 03 Mar 2023 11:09:32 +0100}, biburl = {https://dblp.org/rec/conf/apcorise/DarmawanS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jhsn/NingthoujamC19, author = {Sanjit Ningthoujam and Swarnendu Kumar Chakraborty}, title = {Analysis of the adaptive three-modes for {PC+MPC+APC} techniques using retransmission cycle mechanism}, journal = {J. High Speed Networks}, volume = {25}, number = {2}, pages = {205--220}, year = {2019}, url = {https://doi.org/10.3233/JHS-190612}, doi = {10.3233/JHS-190612}, timestamp = {Wed, 17 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jhsn/NingthoujamC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/IsobeK19, author = {Yuma Isobe and Takao Kihara}, title = {First-Order Recursive {CIC} Filters in Time-Interleaved VCO-Based ADCs for Direct-RF Sampling Receivers}, booktitle = {2019 {IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS} 2019, Bangkok, Thailand, November 11-14, 2019}, pages = {25--28}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/APCCAS47518.2019.8953087}, doi = {10.1109/APCCAS47518.2019.8953087}, timestamp = {Wed, 05 Feb 2020 16:48:41 +0100}, biburl = {https://dblp.org/rec/conf/apccas/IsobeK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/FengTFC18, author = {Yulang Feng and Yuxuan Tang and Qingjun Fan and Jinghong Chen}, title = {A 25-GS/s 4-bit Single-core Flash {ADC} in 28 nm {FDSOI} {CMOS}}, booktitle = {2018 {IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS} 2018, Chengdu, China, October 26-30, 2018}, pages = {30--33}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/APCCAS.2018.8605705}, doi = {10.1109/APCCAS.2018.8605705}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apccas/FengTFC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/TokuyaKYY18, author = {Fukuyama Tokuya and Takao Kihara and Tsunehiro Yoshio and Tsutomu Yoshimura}, title = {A Standard-cell Based {A/D} Converter with a Back-gate {VCO} and a Fat Tree Encoder}, booktitle = {2018 {IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS} 2018, Chengdu, China, October 26-30, 2018}, pages = {22--25}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/APCCAS.2018.8605659}, doi = {10.1109/APCCAS.2018.8605659}, timestamp = {Tue, 15 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apccas/TokuyaKYY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apcc/SubramanianSK16, author = {Ramprasad Subramanian and Kumbesan Sandrasegaran and Xiaoying Kong}, title = {Benchmarking of real-time {LTE} network in dynamic environment}, booktitle = {2016 22nd Asia-Pacific Conference on Communications (APCC), Yogyakarta, Indonesia, August 25-27, 2016}, pages = {20--25}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/APCC.2016.7581428}, doi = {10.1109/APCC.2016.7581428}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/apcc/SubramanianSK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/HuangLUM16, author = {Mo Huang and Yan Lu and Seng{-}Pan U and Rui Paulo Martins}, title = {A digital {LDO} with transient enhancement and limit cycle oscillation reduction}, booktitle = {2016 {IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS} 2016, Jeju, South Korea, October 25-28, 2016}, pages = {25--28}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/APCCAS.2016.7803886}, doi = {10.1109/APCCAS.2016.7803886}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apccas/HuangLUM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apcc/2016, title = {2016 22nd Asia-Pacific Conference on Communications (APCC), Yogyakarta, Indonesia, August 25-27, 2016}, publisher = {{IEEE}}, year = {2016}, url = {https://ieeexplore.ieee.org/xpl/conhome/7579293/proceeding}, isbn = {978-1-5090-0676-2}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apcc/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apccas/2016, title = {2016 {IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS} 2016, Jeju, South Korea, October 25-28, 2016}, publisher = {{IEEE}}, year = {2016}, url = {https://ieeexplore.ieee.org/xpl/conhome/7786273/proceeding}, isbn = {978-1-5090-1570-2}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apccas/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apcc/NakagawaMMMJ15, author = {Takuya Nakagawa and Yutaka Mori and Koichi Maru and Haruna Matsushita and Masahiko Jinno}, title = {Linear and nonlinear impairments when adding and dropping superchannels in an elastic optical network}, booktitle = {21st Asia-Pacific Conference on Communications, {APCC} 2015, Kyoto, Japan, October 14-16, 2015}, pages = {25--28}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/APCC.2015.7412519}, doi = {10.1109/APCC.2015.7412519}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/apcc/NakagawaMMMJ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/TakimotoDIK14, author = {Katsuma Takimoto and Toshiyuki Dobashi and Hiroshi Ishikawa and Hitoshi Kiya}, title = {An image estimation method by header information in {JPEG} 2000 codestreams and its application to image identification}, booktitle = {2014 {IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS} 2014, Ishigaki, Japan, November 17-20, 2014}, pages = {25--28}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/APCCAS.2014.7032710}, doi = {10.1109/APCCAS.2014.7032710}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/apccas/TakimotoDIK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apcc/LeeWC13, author = {Kyung{-}Hoon Lee and Kyung Hoon Won and Hyung{-}Jin Choi}, title = {A fine timing synchronization method on group communication system enablers for {LTE}}, booktitle = {19th Asia-Pacific Conference on Communications, {APCC} 2013, Denpasar, Indonesia, August 29-31, 2013}, pages = {21--25}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/APCC.2013.6765909}, doi = {10.1109/APCC.2013.6765909}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/apcc/LeeWC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/Soufizadeh-BalanejiH12, author = {Nasim Soufizadeh{-}Balaneji and Khayrollah Hadidi}, title = {A novel quantization algorithm suitable for high-speed analog-to-digital converters}, booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS} 2012, Kaohsiung, Taiwan, December 2-5, 2012}, pages = {25--28}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/APCCAS.2012.6418962}, doi = {10.1109/APCCAS.2012.6418962}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/apccas/Soufizadeh-BalanejiH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/securecomm/GlassMPR11, author = {Stephen Mark Glass and Vallipuram Muthukkumarasamy and Marius Portmann and Matthew Robert}, editor = {Muttukrishnan Rajarajan and Fred Piper and Haining Wang and George Kesidis}, title = {Insecurity in Public-Safety Communications: {APCO} Project 25}, booktitle = {Security and Privacy in Communication Networks - 7th International {ICST} Conference, SecureComm 2011, London, UK, September 7-9, 2011, Revised Selected Papers}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {96}, pages = {116--133}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-31909-9\_7}, doi = {10.1007/978-3-642-31909-9\_7}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/securecomm/GlassMPR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/ClarkGMWXB11, author = {Sandy Clark and Travis Goodspeed and Perry Metzger and Zachary Wasserman and Kevin Xu and Matt Blaze}, title = {Why (Special Agent) Johnny (Still) Can't Encrypt: {A} Security Analysis of the {APCO} Project 25 Two-Way Radio System}, booktitle = {20th {USENIX} Security Symposium, San Francisco, CA, USA, August 8-12, 2011, Proceedings}, publisher = {{USENIX} Association}, year = {2011}, url = {http://static.usenix.org/events/sec11/tech/full\_papers/Clark.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uss/ClarkGMWXB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccm/Brown10, author = {Ross Brown}, editor = {Sebastian Link and Aditya Ghose}, title = {Conceptual modelling in 3D Virtual Worlds for Process Communication}, booktitle = {Conceptual Modelling 2010, Seventh Asia-Pacific Conference on Conceptual Modelling {(APCCM} 2010), Brisbane, Australia, January 18-21 2010}, series = {{CRPIT}}, volume = {110}, pages = {25--32}, publisher = {Australian Computer Society}, year = {2010}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV110Brown.html}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apccm/Brown10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwcmc/GlassMP09, author = {Steve Glass and Vallipuram Muthukkumarasamy and Marius Portmann}, editor = {Mohsen Guizani and Peter M{\"{u}}ller and Klaus{-}Peter F{\"{a}}hnrich and Athanasios V. Vasilakos and Yan Zhang and Jun Zhang}, title = {A software-defined radio receiver for {APCO} project 25 signals}, booktitle = {Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, {IWCMC} 2009, Leipzig, Germany, June 21-24, 2009}, pages = {67--72}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1582379.1582395}, doi = {10.1145/1582379.1582395}, timestamp = {Tue, 20 Aug 2024 07:54:44 +0200}, biburl = {https://dblp.org/rec/conf/iwcmc/GlassMP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/RadulovQHR08, author = {Georgi I. Radulov and Patrick J. Quinn and Hans Hegt and Arthur H. M. van Roermund}, title = {A flexible 12-bit self-calibrated quad-core current-steering {DAC}}, booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS} 2008, Macao, China, November 30 2008 - December 3, 2008}, pages = {25--28}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/APCCAS.2008.4745951}, doi = {10.1109/APCCAS.2008.4745951}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/apccas/RadulovQHR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/TormanenS08, author = {Markus T{\"{o}}rm{\"{a}}nen and Henrik Sj{\"{o}}land}, title = {A 25-GHz differential {LC-VCO} in 90-nm {CMOS}}, booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems, {APCCAS} 2008, Macao, China, November 30 2008 - December 3, 2008}, pages = {554--557}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/APCCAS.2008.4746083}, doi = {10.1109/APCCAS.2008.4746083}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apccas/TormanenS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apccm/2008, editor = {Annika Hinze and Markus Kirchberg}, title = {Conceptual Modelling 2008, Fifth Asia-Pacific Conference on Conceptual Modelling {(APCCM} 2008), Wollongong, New South Wales, Australia, January 22-25 2008}, series = {{CRPIT}}, volume = {79}, publisher = {Australian Computer Society}, year = {2008}, isbn = {978-1-920682-60-6}, timestamp = {Wed, 04 Jun 2008 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apccm/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/AntunesPM06, author = {F. J. Antunes and Tales Cleber Pimenta and Robson L. Moreno}, title = {A 1.6GHz Downconverter Mixer in 0.25{\(\mathrm{\mu}\)}m {CMOS}}, booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems 2006, {APCCAS} 2006, Singapore, 4-7 December 2006}, pages = {1663--1666}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/APCCAS.2006.342085}, doi = {10.1109/APCCAS.2006.342085}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apccas/AntunesPM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/ChengCTM06, author = {Wang{-}Chi Cheng and Cheong{-}Fat Chan and Suyi Tao and King{-}Keung Mok}, title = {0.7 {V} Monolithic {CMOS} {LNA} for 802.11 {A/B} {WLAN} Application}, booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems 2006, {APCCAS} 2006, Singapore, 4-7 December 2006}, pages = {25--28}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/APCCAS.2006.342287}, doi = {10.1109/APCCAS.2006.342287}, timestamp = {Mon, 04 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apccas/ChengCTM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/SarkarGB06, author = {Santanu Sarkar and Arindrajit Ghosh and Swapna Banerjee}, title = {A Fully Differential 11mW 10-bit 200MS/s Sample and Hold in 0.25{\(\mathrm{\mu}\)}m BiCMOS Technology}, booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems 2006, {APCCAS} 2006, Singapore, 4-7 December 2006}, pages = {1--4}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/APCCAS.2006.342248}, doi = {10.1109/APCCAS.2006.342248}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apccas/SarkarGB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apc25/2005, editor = {Luca Aceto and Andrew D. Gordon}, title = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, publisher = {Elsevier}, year = {2006}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/162/suppl/C}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apc25/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccm/ProperVH05, author = {Henderik Alex Proper and Alex A. Verrijn{-}Stuart and Stijn Hoppenbrouwers}, editor = {Sven Hartmann and Markus Stumptner}, title = {On Utility-based Selection of Architecture-Modelling Concepts}, booktitle = {Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005}, series = {{CRPIT}}, volume = {43}, pages = {25--34}, publisher = {Australian Computer Society}, year = {2005}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV43Proper.html}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apccm/ProperVH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Abramsky06, author = {Samson Abramsky}, editor = {Luca Aceto and Andrew D. Gordon}, title = {What are the Fundamental Structures of Concurrency?: We still don't know!}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {37--41}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.075}, doi = {10.1016/J.ENTCS.2005.12.075}, timestamp = {Fri, 20 Jan 2023 12:38:53 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Abramsky06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AcetoF06, author = {Luca Aceto and Wan J. Fokkink}, editor = {Luca Aceto and Andrew D. Gordon}, title = {The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {43--48}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.076}, doi = {10.1016/J.ENTCS.2005.12.076}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AcetoF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AcetoG06, author = {Luca Aceto and Andrew D. Gordon}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Preface}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {1--2}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.100}, doi = {10.1016/J.ENTCS.2005.12.100}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AcetoG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AmadioBBC06, author = {Roberto M. Amadio and G{\'{e}}rard Boudol and Fr{\'{e}}d{\'{e}}ric Boussinot and Ilaria Castellani}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Reactive Concurrent Programming Revisited}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {49--60}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.104}, doi = {10.1016/J.ENTCS.2005.12.104}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AmadioBBC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaetenB06, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Six Themes for Future Concurrency Research}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {61--64}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.090}, doi = {10.1016/J.ENTCS.2005.12.090}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaetenB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaetenB06a, author = {Jos C. M. Baeten and Mario Bravetti}, editor = {Luca Aceto and Andrew D. Gordon}, title = {A Generic Process Algebra}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {65--71}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.077}, doi = {10.1016/J.ENTCS.2005.12.077}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaetenB06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaierHKW06, author = {Christel Baier and Holger Hermanns and Joost{-}Pieter Katoen and Verena Wolf}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Bisimulation and Simulation Relations for Markov Chains}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {73--78}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.078}, doi = {10.1016/J.ENTCS.2005.12.078}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BaierHKW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Bergstra06, author = {Jan A. Bergstra}, editor = {Luca Aceto and Andrew D. Gordon}, title = {On the Design Rationale of {ACP} Style Process Algebras}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {79--85}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.105}, doi = {10.1016/J.ENTCS.2005.12.105}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Bergstra06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Bernardo06, author = {Marco Bernardo}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {87--99}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.079}, doi = {10.1016/J.ENTCS.2005.12.079}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Bernardo06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Bolognesi06, author = {Tommaso Bolognesi}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Process Algebra Under the Light of Wolfram's {NKS}}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {101--105}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.106}, doi = {10.1016/J.ENTCS.2005.12.106}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Bolognesi06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Bravetti06, author = {Mario Bravetti}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Stochastic and Real Time in Process Algebra: {A} Conceptual Overview}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {113--119}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.107}, doi = {10.1016/J.ENTCS.2005.12.107}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Bravetti06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BravettiHK06, author = {Mario Bravetti and Holger Hermanns and Joost{-}Pieter Katoen}, editor = {Luca Aceto and Andrew D. Gordon}, title = {{YMCA:} - Why Markov Chain Algebra? -}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {107--112}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.108}, doi = {10.1016/J.ENTCS.2005.12.108}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BravettiHK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BravettiZ06, author = {Mario Bravetti and Gianluigi Zavattaro}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Service Oriented Computing: {A} New Challenge for Process Algebras}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {121--125}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.116}, doi = {10.1016/J.ENTCS.2005.12.116}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BravettiZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Brookes06b, author = {Stephen Brookes}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Retracing {CSP}}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {127--133}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.01.028}, doi = {10.1016/J.ENTCS.2006.01.028}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Brookes06b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BuscemiM06, author = {Maria Grazia Buscemi and Ugo Montanari}, editor = {Luca Aceto and Andrew D. Gordon}, title = {A Compositional Coalgebraic Model of a Fragment of Fusion Calculus}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {135--139}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.109}, doi = {10.1016/J.ENTCS.2005.12.109}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BuscemiM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BusiZ06, author = {Nadia Busi and Gianluigi Zavattaro}, editor = {Luca Aceto and Andrew D. Gordon}, title = {A Process Algebraic View of Coordination}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {141--145}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.08.001}, doi = {10.1016/J.ENTCS.2006.08.001}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BusiZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CarpinetiL06, author = {Samuele Carpineti and Cosimo Laneve}, editor = {Luca Aceto and Andrew D. Gordon}, title = {A Rude Contract Language for Web Services}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {147--152}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.01.029}, doi = {10.1016/J.ENTCS.2006.01.029}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CarpinetiL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CuijpersR06, author = {Pieter J. L. Cuijpers and Michel A. Reniers}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Topological Aspects of Hybrid Processes: {A} Proposed Treatment Using Non-standard Analysis}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {153--158}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.080}, doi = {10.1016/J.ENTCS.2005.12.080}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CuijpersR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Esik06, author = {Zolt{\'{a}}n {\'{E}}sik}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Cascade Products and Temporal Logics on Finite Trees}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {163--166}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.081}, doi = {10.1016/J.ENTCS.2005.12.081}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Esik06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FuzzatiN06, author = {Rachele Fuzzati and Uwe Nestmann}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Much Ado About Nothing?}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {167--171}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.082}, doi = {10.1016/J.ENTCS.2005.12.082}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FuzzatiN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Glabbeek06, author = {Rob J. van Glabbeek}, editor = {Luca Aceto and Andrew D. Gordon}, title = {On Specifying Timeouts}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {173--175}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.083}, doi = {10.1016/J.ENTCS.2005.12.083}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Glabbeek06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Gordon06, author = {Andrew D. Gordon}, editor = {Luca Aceto and Andrew D. Gordon}, title = {V for Virtual}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {177--181}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.01.030}, doi = {10.1016/J.ENTCS.2006.01.030}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Gordon06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GrabmayerKL06, author = {Clemens Grabmayer and Jan Willem Klop and Bas Luttik}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Reflections on a Geometry of Processes}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {183--190}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.111}, doi = {10.1016/J.ENTCS.2005.12.111}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GrabmayerKL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GrooteMWU06, author = {Jan Friso Groote and Aad Mathijssen and Muck van Weerdenburg and Yaroslav S. Usenko}, editor = {Luca Aceto and Andrew D. Gordon}, title = {From {\(\mathrm{\mu}\)}CRL to mCRL2: Motivation and Outline}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {191--196}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.101}, doi = {10.1016/J.ENTCS.2005.12.101}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GrooteMWU06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GrooteRU06, author = {Jan Friso Groote and Michel A. Reniers and Yaroslav S. Usenko}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Discretization of Timed Automata in Timed mu}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {197--202}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.084}, doi = {10.1016/J.ENTCS.2005.12.084}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GrooteRU06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GrosuS06, author = {Radu Grosu and Scott A. Smolka}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Monte Carlo Methods for Process Algebra}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {203--207}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.04.033}, doi = {10.1016/J.ENTCS.2006.04.033}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GrosuS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Hoare06, author = {Tony Hoare}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Why ever CSP?}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {209--215}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.01.031}, doi = {10.1016/J.ENTCS.2006.01.031}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Hoare06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Honda06, author = {Kohei Honda}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Process Algebras in the Age of Ubiquitous Computing}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {217--220}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.01.032}, doi = {10.1016/J.ENTCS.2006.01.032}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Honda06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LeePS06, author = {Insup Lee and Anna Philippou and Oleg Sokolsky}, editor = {Luca Aceto and Andrew D. Gordon}, title = {A Family of Resource-Bound Real-Time Process Algebras}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {221--226}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.085}, doi = {10.1016/J.ENTCS.2005.12.085}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LeePS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Luttik06, author = {Bas Luttik}, editor = {Luca Aceto and Andrew D. Gordon}, title = {What is algebraic in process theory?}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {227--231}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.086}, doi = {10.1016/J.ENTCS.2005.12.086}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Luttik06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Maffeis06, author = {Sergio Maffeis}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Process Calculi and Peer-to-peer Web Data Integration}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {233--236}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.087}, doi = {10.1016/J.ENTCS.2005.12.087}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Maffeis06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Middelburg06, author = {Cornelis A. Middelburg}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Conditionals in Algebraic Process Calculi}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {237--241}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.088}, doi = {10.1016/J.ENTCS.2005.12.088}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Middelburg06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Miller06, author = {Dale Miller}, editor = {Luca Aceto and Andrew D. Gordon}, title = {A Proof Theoretic Approach to Operational Semantics}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {243--247}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.089}, doi = {10.1016/J.ENTCS.2005.12.089}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Miller06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Milne06, author = {George J. Milne}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Modelling Dynamically Changing Hardware Structure}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {249--254}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.091}, doi = {10.1016/J.ENTCS.2005.12.091}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Milne06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Milner06, author = {Robin Milner}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Pervasive Process Calculus}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {255--259}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.112}, doi = {10.1016/J.ENTCS.2005.12.112}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Milner06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Mislove06, author = {Michael W. Mislove}, editor = {Luca Aceto and Andrew D. Gordon}, title = {On Combining Probability and Nondeterminism}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {261--265}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.113}, doi = {10.1016/J.ENTCS.2005.12.113}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Mislove06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Mousavi06, author = {Mohammad Reza Mousavi}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Towards {SOS} Meta-Theory for Language-Based Security}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {267--271}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.092}, doi = {10.1016/J.ENTCS.2005.12.092}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Mousavi06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Nicola06, author = {Rocco De Nicola}, editor = {Luca Aceto and Andrew D. Gordon}, title = {From Process Calculi to Klaim and Back}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {159--162}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.110}, doi = {10.1016/J.ENTCS.2005.12.110}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Nicola06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/OuaknineS06, author = {Jo{\"{e}}l Ouaknine and Steve A. Schneider}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Timed {CSP:} {A} Retrospective}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {273--276}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.093}, doi = {10.1016/J.ENTCS.2005.12.093}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/OuaknineS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Palamidessi06a, author = {Catuscia Palamidessi}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Anonymity in Probabilistic and Nondeterministic Systems}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {277--279}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.094}, doi = {10.1016/J.ENTCS.2005.12.094}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Palamidessi06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PhillipsU06, author = {Iain C. C. Phillips and Irek Ulidowski}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Operational Semantics of Reversibility in Process Algebra}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {281--286}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.095}, doi = {10.1016/J.ENTCS.2005.12.095}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PhillipsU06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PonseZ06, author = {Alban Ponse and Mark van der Zwaag}, editor = {Luca Aceto and Andrew D. Gordon}, title = {A Generalization of {ACP} Using Belnap's Logic}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {287--293}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.102}, doi = {10.1016/J.ENTCS.2005.12.102}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PonseZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Prasad06, author = {K. V. S. Prasad}, editor = {Luca Aceto and Andrew D. Gordon}, title = {A Prospectus for Mobile Broadcasting Systems}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {295--300}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.096}, doi = {10.1016/J.ENTCS.2005.12.096}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Prasad06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Priami06, author = {Corrado Priami}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Process Calculi and Life Science}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {301--304}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.097}, doi = {10.1016/J.ENTCS.2005.12.097}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Priami06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Roscoe06, author = {A. W. Roscoe}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Confluence Thanks to Extensional Determinism}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {305--309}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.098}, doi = {10.1016/J.ENTCS.2005.12.098}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Roscoe06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Sangiorgi06, author = {Davide Sangiorgi}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Bisimulation and Co-induction: Some Problems}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {311--315}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.099}, doi = {10.1016/J.ENTCS.2005.12.099}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Sangiorgi06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Sewell06, author = {Peter Sewell}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Process Calculi: The End of the Beginning?: (From Thought Experiments to Experimental Semantics)}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {317--321}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.01.033}, doi = {10.1016/J.ENTCS.2006.01.033}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Sewell06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Tofts06, author = {Chris M. N. Tofts}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Process Algebra as Modelling}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {323--326}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.114}, doi = {10.1016/J.ENTCS.2005.12.114}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Tofts06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Ueda06, author = {Kazunori Ueda}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Constraint-Based Concurrency and Beyond}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {327--331}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.103}, doi = {10.1016/J.ENTCS.2005.12.103}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Ueda06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Yoshida06, author = {Nobuko Yoshida}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {333--340}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.115}, doi = {10.1016/J.ENTCS.2005.12.115}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Yoshida06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/HuangS02, author = {Chun{-}Yueh Huang and Yung{-}Hoh Sheu}, title = {A high speed current-mode median filter for real-time signal processing}, booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems 2002, {APCCAS} 2002, Singapore, 16-18 December 2002}, pages = {25--28}, publisher = {{IEEE}}, year = {2002}, url = {https://doi.org/10.1109/APCCAS.2002.1114901}, doi = {10.1109/APCCAS.2002.1114901}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/apccas/HuangS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccas/SheuL02, author = {Ming{-}Hwa Sheu and Su{-}Hon Lin}, title = {Fast design approach for implementing the approximate squaring function}, booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems 2002, {APCCAS} 2002, Singapore, 16-18 December 2002}, pages = {25--29}, publisher = {{IEEE}}, year = {2002}, url = {https://doi.org/10.1109/APCCAS.2002.1115101}, doi = {10.1109/APCCAS.2002.1115101}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apccas/SheuL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apchi/MahemoffJ98, author = {Michael Mahemoff and Lorraine Johnston}, title = {Pattern Languages for Usability: An Investigation of Alternative Approaches}, booktitle = {Third Asian Pacific Computer and Human Interaction, July 15-17, 1998, Kangawa, Japan, Proceedings}, pages = {25--31}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/APCHI.1998.704138}, doi = {10.1109/APCHI.1998.704138}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apchi/MahemoffJ98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nar/BeroudS97, author = {Christophe B{\'{e}}roud and Thierry Soussi}, title = {p53 and {APC} gene mutations: software and databases}, journal = {Nucleic Acids Res.}, volume = {25}, number = {1}, pages = {138}, year = {1997}, url = {https://doi.org/10.1093/nar/25.1.138}, doi = {10.1093/NAR/25.1.138}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nar/BeroudS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.org/img/cog.dark.24x24.png)
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.