Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "APC 25"
download as .bib file
@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}
}
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-09-04 08:15 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:
