default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• MS Academic
• CiteSeerX
• ORCID

• 
  Igor Konnov, Laura Kovács:
  31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). LIPIcs 171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-160-3 [contents]

• 
  Wan J. Fokkink, Rob van Glabbeek:
  30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. LIPIcs 140, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-121-4 [contents]

• 
  Sven Schewe, Lijun Zhang:
  29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China. LIPIcs 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-087-3 [contents]

• 
  Roland Meyer, Uwe Nestmann:
  28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. LIPIcs 85, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-048-4 [contents]

• 
  Josée Desharnais, Radha Jagadeesan:
  27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada. LIPIcs 59, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-017-0 [contents]

• 
  Luca Aceto, David de Frutos-Escrig:
  26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. LIPIcs 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-91-0 [contents]

• 
  Paolo Baldan, Daniele Gorla:
  CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Lecture Notes in Computer Science 8704, Springer 2014, ISBN 978-3-662-44583-9 [contents]

• 
  Pedro R. D'Argenio, Hernán C. Melgratti:
  CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Lecture Notes in Computer Science 8052, Springer 2013, ISBN 978-3-642-40183-1 [contents]

• 
  Maciej Koutny, Irek Ulidowski:
  CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science 7454, Springer 2012, ISBN 978-3-642-32939-5 [contents]

• 
  Joost-Pieter Katoen, Barbara König:
  CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings. Lecture Notes in Computer Science 6901, Springer 2011, ISBN 978-3-642-23216-9 [contents]

• 
  Paul Gastin, François Laroussinie:
  CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings. Lecture Notes in Computer Science 6269, Springer 2010, ISBN 978-3-642-15374-7 [contents]

• 
  Mario Bravetti, Gianluigi Zavattaro:
  CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science 5710, Springer 2009, ISBN 978-3-642-04080-1 [contents]

• 
  Franck van Breugel, Marsha Chechik:
  CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings. Lecture Notes in Computer Science 5201, Springer 2008, ISBN 978-3-540-85360-2 [contents]

CONCUR 2007 Home Page

• 
  Luís Caires, Vasco Thudichum Vasconcelos:
  CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. Lecture Notes in Computer Science 4703, Springer 2007, ISBN 978-3-540-74406-1 [contents]

• 
  Christel Baier, Holger Hermanns:
  CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. Lecture Notes in Computer Science 4137, Springer 2006, ISBN 3-540-37376-4 [contents]

• 
  Martín Abadi, Luca de Alfaro:
  CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Lecture Notes in Computer Science 3653, Springer 2005, ISBN 3-540-28309-9 [contents]

• 
  Philippa Gardner, Nobuko Yoshida:
  CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings. Lecture Notes in Computer Science 3170, Springer 2004, ISBN 3-540-22940-X [contents]

• 
  Roberto M. Amadio, Denis Lugiez:
  CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. Lecture Notes in Computer Science 2761, Springer 2003, ISBN 3-540-40753-7 [contents]

CONCUR 2002 Home Page

• 
  Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera:
  CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings. Lecture Notes in Computer Science 2421, Springer 2002, ISBN 3-540-44043-7 [contents]

CONCUR 2002 Satellite Workshops: ENTCS 68

• 
  Kim Guldstrand Larsen, Mogens Nielsen:
  CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Lecture Notes in Computer Science 2154, Springer 2001, ISBN 3-540-42497-0 [contents]

CONCUR 2001 Satellite Workshops: ENTCS 52

• 
  Catuscia Palamidessi:
  CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings. Lecture Notes in Computer Science 1877, Springer 2000, ISBN 3-540-67897-2 [contents]

CONCUR 2000 Satellite Workshops: ENTCS 39

• 
  Jos C. M. Baeten, Sjouke Mauw:
  CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings. Lecture Notes in Computer Science 1664, Springer 1999, ISBN 3-540-66425-4 [contents]

• 
  Davide Sangiorgi, Robert de Simone:
  CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings. Lecture Notes in Computer Science 1466, Springer 1998, ISBN 3-540-64896-8 [contents]

CONCUR 1998 Satellite Workshops: ENTCS 16

• 
  Antoni W. Mazurkiewicz, Józef Winkowski:
  CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings. Lecture Notes in Computer Science 1243, Springer 1997, ISBN 3-540-63141-0 [contents]

• 
  Ugo Montanari, Vladimiro Sassone:
  CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings. Lecture Notes in Computer Science 1119, Springer 1996, ISBN 3-540-61604-7 [contents]

• 
  Insup Lee, Scott A. Smolka:
  CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings. Lecture Notes in Computer Science 962, Springer 1995, ISBN 3-540-60218-6 [contents]

• 
  Bengt Jonsson, Joachim Parrow:
  CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science 836, Springer 1994, ISBN 3-540-58329-7 [contents]

• 
  Eike Best:
  CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Lecture Notes in Computer Science 715, Springer 1993, ISBN 3-540-57208-2 [contents]

• 
  Rance Cleaveland:
  CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Lecture Notes in Computer Science 630, Springer 1992, ISBN 3-540-55822-5 [contents]

• 
  Jos C. M. Baeten, Jan Friso Groote:
  CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings. Lecture Notes in Computer Science 527, Springer 1991, ISBN 3-540-54430-5 [contents]

• 
  Jos C. M. Baeten, Jan Willem Klop:
  CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings. Lecture Notes in Computer Science 458, Springer 1990, ISBN 3-540-53048-7 [contents]

• 
  Akinori Yonezawa, Takayasu Ito:
  Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings. Lecture Notes in Computer Science 491, Springer 1991, ISBN 3-540-53932-8 [contents]

• 
  Friedrich H. Vogt:
  Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings. Lecture Notes in Computer Science 335, Springer 1988, ISBN 3-540-50403-6 [contents]

• 
  Stephen D. Brookes, A. W. Roscoe, Glynn Winskel:
  Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984. Lecture Notes in Computer Science 197, Springer 1985, ISBN 3-540-15670-4 [contents]

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from web.archive.org

Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

Tweets on dblp homepage

Show tweets from on the dblp homepage.

load tweets from twitter.com

Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.

 last updated on 2020-11-26 23:31 CET by the dblp team

 all metadata released as open data under CC0 1.0 license 

see also: Terms of Use | Privacy Policy | Imprint

the dblp computer science bibliography is funded by: