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 Data Science
    • MSc in Computer Science
    • MSc in Games
    • Applying for an MSc programme
    • Student Life
    • Practical information for international students
    • Ask a student
    • Women in tech
    • Student organisations at ITU
    • Study start
    • Labs for students
    • Special Educational Support (SPS)
    • Study and Career Guidance
    • Exchange student
    • Become an exchange student
    • Guest Students
    • Who can be a guest student?
    • ITU Summer University
    • Open House
    • Open House - BSc programmes
    • Open House - MSc programmes
  • Professional Education
    • Master in IT Management
    • Master in IT Management
    • Admission and entry requirements
    • Contact
    • Single Subjects
    • About single subjects
    • Admission and entry requirements
    • Contact
    • Short courses | ITU Professional Courses
    • See all short courses
    • Contact
    • Contact
    • Contact us here
  • Research
    • Sections
    • Data Science
    • Data, Systems, and Robotics
    • Digital Business Innovation
    • Digitalization Democracy and Governance
    • Human-Computer Interaction and Design
    • Play Culture and AI
    • Software Engineering
    • Technologies in Practice
    • Theoretical Computer Science
    • 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
    • Research Centre for Government IT
    • Danish Institute for IT Program Management
    • Research entities
    • Research centers
    • Sections
    • Research groups
    • Labs
    • 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 Admission Requirements
    • 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
    • Read more about research collaboration at ITU
    • Industrial PhD
    • Hire an Industrial PhD
    • Maritime Hub
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU NextGen
  • About ITU
    • About ITU
    • Press
    • Vacancies
    • Contact
  • DK
ITU
ITU  /  Research  /  Technical Reports  /  Technical Reports Archive  /  2007  /  Preliminary Proceedings of the 14 International Workshop on Expressiveness in Concurrency (EXPRESS'07)
  • Research
    • Research Sections
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research centers
    • Research groups
    • Labs
    • Technical Reports
      • Technical Reports Archive
        • 2024
        • 2023
        • 2021
        • 2018
        • 2017
        • 2016
        • 2015
        • 2014
        • 2013
        • 2012
        • 2011
        • 2010
        • 2009
        • 2008
        • 2007
          • A Realizability Model for Impredicative Hoare Type Theory
          • Preliminary Proceedings of the 14 International Workshop on Expressiveness in Concurrency (EXPRESS'07)
            • A Calculus for Mobile Ad Hoc Networks
            • Typing Linear and Non-Linear Higher-Order Mobile Embedded Resources with Local Names
            • Early Experiences on Adopting BPM and SOA: An Empirical Study
          • 2006
          • 2005
          • 2004
          • 2003
          • 2002
          • 2001
          • 2000
      • PhD Programme

    Preliminary Proceedings of the 14 International Workshop on Expressiveness in Concurrency (EXPRESS'07)



    Roberto Amadio and Thomas Hildebrandt


    September 2007


    Abstract

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

    This year EXPRESS is co-located with CONCUR '07, held in Lisbon. Inresponse to the call for papers, we received one short paper and 13full papers. The program committee selected 4 of the full papers forpresentation at the workshop. In addition, the workshop contains fourinvited presentations, by Cédric Fournet (invited jointly with theSECCO workshop), Jos Baeten, François Laroussinie, and IainPhillips (invited jointly with the GTVC workshop), and a discussionintroduced and moderated by Daniele Gorla and Uwe Nestmann on thedefinition of the criteria that make an encoding 'good'. Abstracts forthe invited talks and discussion appear in these preliminaryproceedings. We would like to thank the authors of the submittedpapers, the invited speakers, the members of the program committee,and their subreferees for their contribution to both the meeting andthis volume. Also we thank Daniele and Uwe for introducing thediscussion, the CONCUR organising committee for hosting EXPRESS'07,and the workshop organisers Francisco Martins and António Ravara forarranging the printing of these preliminary proceedings, which werecompiled 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-2007-100 in IT University Technical Report Series, September 2007.

    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 /
    P-nummer 1005162959

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

    Fejl i tilmelding