Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Björn Victor
@inproceedings{DBLP:conf/fie/LaaksoharjuLVE22,
author = {Mikael Laaksoharju and
Thomas Taro Lennerfors and
Bj{\"{o}}rn Victor and
Maja Elmgren},
title = {Supporting Shared Responsibility for Integrating Ethics into Science
and Technology Education},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2022, Uppsala, Sweden,
October 8-11, 2022},
pages = {1--5},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/FIE56618.2022.9962603},
doi = {10.1109/FIE56618.2022.9962603},
timestamp = {Sat, 03 Dec 2022 16:36:40 +0100},
biburl = {https://dblp.org/rec/conf/fie/LaaksoharjuLVE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorgstromGPVP15,
author = {Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas and
Joachim Parrow and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola},
title = {A Sorted Semantic Framework for Applied Process Calculi},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {1},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(1:8)2016},
doi = {10.2168/LMCS-12(1:8)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorgstromGPVP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BorgstromHJRVPP15,
author = {Johannes Borgstr{\"{o}}m and
Shuqin Huang and
Magnus Johansson and
Palle Raabjerg and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola and
Joachim Parrow},
title = {Broadcast psi-calculi with an application to wireless protocols},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {201--216},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0375-z},
doi = {10.1007/S10270-013-0375-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BorgstromHJRVPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BorgstromGRV15,
author = {Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas and
Ioana Rodhe and
Bj{\"{o}}rn Victor},
title = {The Psi-Calculi Workbench: {A} Generic Tool for Applied Process Calculi},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {1},
pages = {9:1--9:25},
year = {2015},
url = {https://doi.org/10.1145/2682570},
doi = {10.1145/2682570},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/BorgstromGRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/CasselV15,
author = {Sofia Cassel and
Bj{\"{o}}rn Victor},
title = {A structured approach to training open-ended problem solving},
booktitle = {2015 {IEEE} Frontiers in Education Conference, {FIE} 2015, El Paso,
TX, USA, October 21-24, 2015},
pages = {1--4},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/FIE.2015.7344088},
doi = {10.1109/FIE.2015.7344088},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fie/CasselV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/CasselNV14,
author = {Sofia Cassel and
Aletta Nyl{\'{e}}n and
Bj{\"{o}}rn Victor},
title = {Enhanced learning by promoting engineering competencies},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2014, Proceedings,
Madrid, Spain, October 22-25, 2014},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/FIE.2014.7044328},
doi = {10.1109/FIE.2014.7044328},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fie/CasselNV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BorgstromGRV13,
author = {Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas and
Ioana Rodhe and
Bj{\"{o}}rn Victor},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {A Parametric Tool for Applied Process Calculi},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {180--185},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.22},
doi = {10.1109/ACSD.2013.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BorgstromGRV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BorgstromGPVP13,
author = {Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas and
Joachim Parrow and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola},
editor = {Mart{\'{\i}}n Abadi and
Alberto Lluch{-}Lafuente},
title = {A Sorted Semantic Framework for Applied Process Calculi (Extended
Abstract)},
booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8358},
pages = {103--118},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05119-2\_7},
doi = {10.1007/978-3-319-05119-2\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BorgstromGPVP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JohanssonVP12,
author = {Magnus Johansson and
Bj{\"{o}}rn Victor and
Joachim Parrow},
title = {Computing strong and weak bisimulations for psi-calculi},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {3},
pages = {162--180},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2012.01.001},
doi = {10.1016/J.JLAP.2012.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohanssonVP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/CambazogluRV12,
author = {Volkan Cambazoglu and
Christian Rohner and
Bj{\"{o}}rn Victor},
editor = {Hamed Haddadi and
Eiko Yoneki},
title = {The impact of trace and adversary models on location privacy provided
by K-anonymity},
booktitle = {Proceedings of the First Workshop on Measurement, Privacy, and Mobility,
{MPM} '12, Bern, Switzerland, April 10, 2012},
pages = {6:1--6:6},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2181196.2181202},
doi = {10.1145/2181196.2181202},
timestamp = {Thu, 06 Jan 2022 15:47:25 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/CambazogluRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-3262,
author = {Jesper Bengtson and
Magnus Johansson and
Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {Psi-calculi: a framework for mobile processes with nominal data and
logic},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:11)2011},
doi = {10.2168/LMCS-7(1:11)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-3262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BorgstromHJRVPP11,
author = {Johannes Borgstr{\"{o}}m and
Shuqin Huang and
Magnus Johansson and
Palle Raabjerg and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola and
Joachim Parrow},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Broadcast Psi-calculi with an Application to Wireless Protocols},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {74--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_7},
doi = {10.1007/978-3-642-24690-6\_7},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BorgstromHJRVPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/SuticRRV11,
author = {Davor Sutic and
Ioana Rodhe and
Christian Rohner and
Bj{\"{o}}rn Victor},
title = {Lower trees with fixed degrees: {A} recipe for efficient secure hierarchical
aggregation in WSNs},
booktitle = {2011 {IEEE} Wireless Communications and Networking Conference, {WCNC}
2011, Proceedings, Cancun, Mexico, 28-31 March, 2011},
pages = {659--664},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/WCNC.2011.5779211},
doi = {10.1109/WCNC.2011.5779211},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/SuticRRV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JohanssonBPV10,
author = {Magnus Johansson and
Jesper Bengtson and
Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {Weak Equivalences in Psi-Calculi},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {322--331},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.30},
doi = {10.1109/LICS.2010.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JohanssonBPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BengtsonJPV09,
author = {Jesper Bengtson and
Magnus Johansson and
Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {Psi-calculi: Mobile Processes, Nominal Data, and Logic},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {39--48},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.20},
doi = {10.1109/LICS.2009.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BengtsonJPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2867,
author = {Magnus Johansson and
Bj{\"{o}}rn Victor and
Joachim Parrow},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {A Fully Abstract Symbolic Semantics for Psi-Calculi},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {17--31},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.2},
doi = {10.4204/EPTCS.18.2},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JohanssonPVB08,
author = {Magnus Johansson and
Joachim Parrow and
Bj{\"{o}}rn Victor and
Jesper Bengtson},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Extended pi-Calculi},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {87--98},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_8},
doi = {10.1007/978-3-540-70583-3\_8},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/JohanssonPVB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PalamidessiSVV06,
author = {Catuscia Palamidessi and
Vijay A. Saraswat and
Frank D. Valencia and
Bj{\"{o}}rn Victor},
title = {On the Expressiveness of Linearity vs Persistence in the Asychronous
Pi-Calculus},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.39},
doi = {10.1109/LICS.2006.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PalamidessiSVV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/NestmannV05,
author = {Uwe Nestmann and
Bj{\"{o}}rn Victor},
title = {Guest editors' introduction: Special issue on The pi-calculus},
journal = {J. Log. Algebraic Methods Program.},
volume = {63},
number = {1},
pages = {1--2},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2004.01.002},
doi = {10.1016/J.JLAP.2004.01.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/NestmannV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/FerrariMTVY05,
author = {Gian{-}Luigi Ferrari and
Ugo Montanari and
Emilio Tuosto and
Bj{\"{o}}rn Victor and
Kidane Yemane},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Neil Harman and
Markus Roggenbach and
Jan J. M. M. Rutten},
title = {Modelling Fusion Calculus using HD-Automata},
booktitle = {Algebra and Coalgebra in Computer Science: First International Conference,
{CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3629},
pages = {142--156},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11548133\_10},
doi = {10.1007/11548133\_10},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/FerrariMTVY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BaldamusPV05,
author = {Michael Baldamus and
Joachim Parrow and
Bj{\"{o}}rn Victor},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {A Fully Abstract Encoding of the \emph{pi}-Calculus with Data Terms},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {1202--1213},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_97},
doi = {10.1007/11523468\_97},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BaldamusPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BaldamusPV04,
author = {Michael Baldamus and
Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {Spi Calculus Translated to ?--Calculus Preserving May-Tests},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {22--31},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319597},
doi = {10.1109/LICS.2004.1319597},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BaldamusPV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GhaniYV04,
author = {Neil Ghani and
Kidane Yemane and
Bj{\"{o}}rn Victor},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {Relationally Staged Computations in Calculi of Mobile Processes},
booktitle = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
{CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {106},
pages = {105--120},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.027},
doi = {10.1016/J.ENTCS.2004.02.027},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GhaniYV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoLV03,
author = {Luca Aceto and
Giuseppe Longo and
Bj{\"{o}}rn Victor},
title = {Foreword To Special Issue: The Difference Between Concurrent And Sequential
Computation},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {4},
pages = {481--484},
year = {2003},
url = {https://doi.org/10.1017/S096012950300402X},
doi = {10.1017/S096012950300402X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoLV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LaneveV03,
author = {Cosimo Laneve and
Bj{\"{o}}rn Victor},
title = {Solos In Concert},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {5},
pages = {657--683},
year = {2003},
url = {https://doi.org/10.1017/S0960129503004055},
doi = {10.1017/S0960129503004055},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LaneveV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/express/2000,
editor = {Luca Aceto and
Bj{\"{o}}rn Victor},
title = {7th International Workshop on Expressiveness in Concurrency, {EXPRESS}
2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
August 21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {1},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/39/issue/1},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/express/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/LanevePV01,
author = {Cosimo Laneve and
Joachim Parrow and
Bj{\"{o}}rn Victor},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Solo Diagrams},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {127--144},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_6},
doi = {10.1007/3-540-45500-0\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/LanevePV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LaneveV99,
author = {Cosimo Laneve and
Bj{\"{o}}rn Victor},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Solos in Concert},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {513--523},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_48},
doi = {10.1007/3-540-48523-6\_48},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LaneveV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastellaniV99,
author = {Ilaria Castellani and
Bj{\"{o}}rn Victor},
editor = {Ilaria Castellani and
Bj{\"{o}}rn Victor},
title = {Preface},
booktitle = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
1999, Eindhoven, The Netherlands, August 23, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {27},
pages = {1--2},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80290-7},
doi = {10.1016/S1571-0661(05)80290-7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CastellaniV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/express/1999,
editor = {Ilaria Castellani and
Bj{\"{o}}rn Victor},
title = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
1999, Eindhoven, The Netherlands, August 23, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {27},
publisher = {Elsevier},
year = {1999},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/27/suppl/C},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/express/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/NestmannV98,
author = {Uwe Nestmann and
Bj{\"{o}}rn Victor},
title = {Calculi for Mobile Processes - Bibliography and Web Pages},
journal = {Bull. {EATCS}},
volume = {64},
year = {1998},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/NestmannV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ParrowV98,
author = {Joachim Parrow and
Bj{\"{o}}rn Victor},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {The Tau-Laws of Fusion},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {99--114},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055618},
doi = {10.1007/BFB0055618},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/ParrowV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/VictorP98,
author = {Bj{\"{o}}rn Victor and
Joachim Parrow},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Concurrent Constraints in the Fusion Calculus},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {455--469},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055075},
doi = {10.1007/BFB0055075},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/VictorP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ParrowV98,
author = {Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {176--185},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705654},
doi = {10.1109/LICS.1998.705654},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ParrowV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ParrowV97,
author = {Joachim Parrow and
Bj{\"{o}}rn Victor},
editor = {Michael Johnson},
title = {The Update Calculus (Extended Abstract)},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {409--423},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000486},
doi = {10.1007/BFB0000486},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/ParrowV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/VictorP96,
author = {Bj{\"{o}}rn Victor and
Joachim Parrow},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Constraints as Processes},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {389--405},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_66},
doi = {10.1007/3-540-61604-7\_66},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/VictorP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/VictorM94,
author = {Bj{\"{o}}rn Victor and
Faron Moller},
editor = {David L. Dill},
title = {The Mobility Workbench - {A} Tool for the pi-Calculus},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {428--440},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_73},
doi = {10.1007/3-540-58179-0\_73},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/VictorM94.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.
last updated on 2024-04-25 02:08 CEST 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:
