Skip to main content ITU
Logo
  • Programmes
    • BSc Programmes
    • BSc in Global Business Informatics
    • BSc in Digital Design and Interactive Technologies
    • BSc in Software Development
    • BSc in Data Science
    • Applying for a BSc programme
    • MSc Programmes
    • MSc in Digital Innovation & Management
    • MSc in Digital Design and Interactive Technologies
    • MSc in Software Design
    • MSc in Computer Science
    • MSc in Data Science
    • MSc in Games
    • Applying for an MSc programme
    • Student Life
    • Women in tech
    • Student organisations at ITU
    • Labs for students
    • Practical Information for International Students
    • Ask a student
    • Study Start
    • Study and Career Guidance
    • Guest Students
    • Who can be a Guest Student
    • ITU Summer University
    • Exchange Student
    • Become an exchange student at ITU
    • Open House
    • Open House - MSc programmes
    • Open House - BSc programmes
  • Professional Education
    • Master in IT
    • Master in IT Management
    • Single Subjects
    • About single subjects
    • Contact
    • Contact us here
  • Research
    • Departments
    • Business IT Department
    • Computer Science Department
    • Digital Design Department
    • Research Groups and Labs
    • Research Groups
    • Labs
    • Research Centres
    • Centre for Digital Play
    • Center for Climate IT
    • Center for Computing Education Research
    • Centre for Digital Welfare
    • Centre for Information Security and Trust
    • European Blockchain Centre
    • Danish Institute for IT Program Management
    • ITU Research Portal
    • Find Researcher
    • Find Research
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Technical Reports
    • Technical Reports
    • PhD Programme
    • About the PhD Programme
    • PhD Courses
    • PhD Defences
    • PhD Positions
    • Types of Enrolment
    • PhD Handbook
    • PhD Support
  • Collaboration
    • Collaboration with students
    • Project collaboration
    • Project Market
    • Student worker
    • Project postings
    • Job and Project bank
    • Employer Branding
    • IT Match Making
    • Hiring an ITU student or graduate
    • Make a post in the job bank
    • Research collaboration
    • Licensing Opportunities
    • Open Entrepreneurship
    • Research collaboration
    • Industrial PhD
    • Hire an Industrial PhD
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU Startup programme
  • About ITU
    • About ITU
    • Press
    • Vacancies
    • Contact
  • DK
ITU
ITU  /  Research  /  Technical Reports  /  Technical Reports Archive  /  2008  /  Preliminary Proceedings of the 15th International Workshop on Expressiveness in Concurrency (EXPRESS'08)
  • Research
    • Research Departments
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research Groups and Centers
    • Labs
    • Technical Reports
      • Technical Reports Archive
        • 2021
        • 2018
        • 2017
        • 2016
        • 2015
        • 2014
        • 2013
        • 2012
        • 2011
        • 2010
        • 2009
        • 2008
          • A Language for the Cell
          • A Generic Language for Biological Systems based on Bigraphs
          • Verifying design patterns in hoare type theory
          • Type Systems for Bigraphs
          • Preliminary Proceedings First International Workshop on Formal Methods for Wireless Systems (FMWS'08)
          • Preliminary Proceedings of the 15th International Workshop on Expressiveness in Concurrency (EXPRESS'08)
            • Minimizing Lid Overstows in Master Stowage Plans for Container Vessels is NP-Complete
            • On Encoding the Pi-calculus in Higher-Order Calculi
            • Customization and Upgrading of ERP SystemsAn Empirical Perspective
            • Constraint Optimization for Highly Constrained Logistic Problems
            • Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool
            • An Experiment on Creating Enterprise Specific BPM Languages and Tools
          • 2007
          • 2006
          • 2005
          • 2004
          • 2003
          • 2002
          • 2001
          • 2000
      • PhD Programme

    Preliminary Proceedings of the 15th International Workshop on Expressiveness in Concurrency (EXPRESS'08)

    TR-2008-108, Authors: Daniele Gorla and Thomas Hildebrandt

    Daniele Gorla and Thomas Hildebrandt

    August 2008

    Abstract

    The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power.

    This year EXPRESS is co-located with CONCUR '08, held in Toronto. In response to the call for papers, we received one short paper and 12 full papers. The program committee selected 8 of the full papers for presentation at the workshop. In addition, the workshop contains two invited presentations, by Michele Bugliesi (invited jointly with the SECCO workshop) and Gianluigi Zavattaro. The selected full papers and abstracts for the invited talks appear in these preliminary proceedings. We would like to thank the authors of the submitted papers, the invited speakers, the members of the program committee, and their subreferees for their contribution to both the meeting and this volume. Also we thank the CONCUR organising committee for hosting EXPRESS '08, and Richard Trefler for the local organization of the workshops and arranging the printing of these preliminary proceedings, which were compiled by Espen Højsgaard. The final proceedings will become available electronically at Elsevier's web site http://www.elsevier.com/locate/entcs.


    Technical report TR-2008-108 in IT University Technical Report Series, August 2008.

    Available as PDF.

    Contact us

    Phone
    +45 7218 5000
    E-mail
    itu@itu.dk

    All contact information

    Web Accessibility Statement

    Find us

    IT University of Copenhagen
    Rued Langgaards Vej 7
    DK-2300 Copenhagen S
    Denmark
    How to get here

    Follow us

    ITU Student /
    Privacy /
    EAN-nr. 5798000417878/
    CVR-nr. 29 05 77 53

    This page is printed from https://itu.dk/