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  /  2004  /  Bisimulation Congruences for Homer - a Calculus of Higher Order Mobile Embedded Resources
  • 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
        • 2007
        • 2006
        • 2005
        • 2004
          • Simplifying Structures by Selectively Specifying Suited Scale Space Saddles
          • Bisimulation Congruences for Homer - a Calculus of Higher Order Mobile Embedded Resources
            • Tree Edit Distances from Singularity Theory
            • An introduction to solving interactive configuration problems
            • Computing Symmetry Sets from 3D Shapes
            • On Data Structures from Symmetry Sets of 2D Shapes
            • CLab 1.0 User Manual
            • Saying it all in 160 Characters: Four classes of SMS conversations
            • On the Definition of Parametricity
            • Type-Specialized Serialization with Sharing
            • Succinctness of Hierarchical State Diagrams in Absence ofMessage Passing
          • 2003
          • 2002
          • 2001
          • 2000
      • PhD Programme

    Bisimulation Congruences for Homer - a Calculus of Higher Order Mobile Embedded Resources

    TR-2004-52, Authors: Thomas Hildebrandt, Jens Chr. Godskesen and Mikkel Bundgaard


    Bisimulation Congruences for Homer - a Calculus of Higher Order Mobile Embedded Resources


    Thomas Hildebrandt
    Jens Chr. Godskesen
    Mikkel Bundgaard

    October 2004

    Abstract


    We extend Howe's method for proving that late labelled transition
    bisimulations are congruences to a core process passing calculus with
    local names, extended with non-linear active process mobility
    and nested locations, as found in the Seal calculus,
    M-calculus, and Kell-calculus. The calculus we consider, called Homer
    for Higher-order Mobile Embedded Resources, has a very simple syntax
    and semantics, which conservatively extend the standard syntax and
    semantics for process passing calculi. The extension of Howe's method
    gives a sound characterisation of barbed bisimulation congruence in
    terms of a late contextual bisimulation. We show that early contextual
    bisimulation is complete with respect to barbed bisimulation
    congruence, but that the late bisimulation is in fact strictly
    included in the early bisimulation. We discuss the issue of scope
    extension through location boundaries in detail, in particular the
    difference between fresh name generation and static local
    names
    . We propose free name extension as a primitive
    construct in calculi with non-linear process mobility, explicit
    locations and local names.

    Technical report TR-2004-52 in IT University Technical Report Series,
    October 2004.

    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/