A Theory of Recursive Domains with Applications to Concurrency

A Theory of Recursive Domains with Applications to Concurrency

We develop a 2-categorical theory for recursively defined domains. In particular, we generalise the traditional approach based on order-theoretic structures to category-theoretic ones. A motivation for this development is the need of a domain theory for concurrency, with an account of bisimulation....

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:BRICS Report Series 1997-06, Vol.4 (35)
Hauptverfasser: Cattani, Gian Luca, Fiore, Marcelo P., Winskel, Glynn
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue 35
container_start_page
container_title BRICS Report Series
container_volume 4
creator Cattani, Gian Luca
Fiore, Marcelo P.
Winskel, Glynn
description We develop a 2-categorical theory for recursively defined domains. In particular, we generalise the traditional approach based on order-theoretic structures to category-theoretic ones. A motivation for this development is the need of a domain theory for concurrency, with an account of bisimulation. Indeed, the leading examples throughout the paper are provided by recursively defined presheaf models for concurrent process calculi. Further, we use the framework to study (open-map) bisimulation.
doi_str_mv 10.7146/brics.v4i35.18961
format Article
fullrecord <record><control><sourceid>statsbiblioteket_cross</sourceid><recordid>TN_cdi_crossref_primary_10_7146_brics_v4i35_18961</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>18961</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1411-89eb3fb4877ef268146a8a981642da8e91410469cd005353a1b44893fdd4b3983</originalsourceid><addsrcrecordid>eNotkFFLwzAcxIMoOOY-gG_5Ap1Jk7bJizKmTmEgyHwOSZqwv-uakcTJvr2129PBcXccP4TuKZk3lNcPJoJN8yMHVs2pkDW9QhNaE1pUrKqu0YRIIgsiGnGLZimBIWXJhWgkm6DHBd5sXYgnHDz-dPYnJjg6_Bz2GvqEfyFv8eJw6MDqDGFwcsDL0A-56Hp7ukM3XnfJzS46RV-vL5vlW7H-WL0vF-vCUk5pIaQzzBsumsb5shbDaS20FLTmZauFk0OK8FralpDhM9PUcC4k823LDZOCTRE979oYUorOq0OEvY4nRYn6Z6BGBmpkoEYGQ-fp3ElZ52TAdBCy27mswndSQcOoGdqUdhF8Vu1O6ZjBdu6y8Adrhmii</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>A Theory of Recursive Domains with Applications to Concurrency</title><source>tidsskrift.dk</source><creator>Cattani, Gian Luca ; Fiore, Marcelo P. ; Winskel, Glynn</creator><creatorcontrib>Cattani, Gian Luca ; Fiore, Marcelo P. ; Winskel, Glynn</creatorcontrib><description>We develop a 2-categorical theory for recursively defined domains. In particular, we generalise the traditional approach based on order-theoretic structures to category-theoretic ones. A motivation for this development is the need of a domain theory for concurrency, with an account of bisimulation. Indeed, the leading examples throughout the paper are provided by recursively defined presheaf models for concurrent process calculi. Further, we use the framework to study (open-map) bisimulation.</description><identifier>ISSN: 0909-0878</identifier><identifier>EISSN: 1601-5355</identifier><identifier>DOI: 10.7146/brics.v4i35.18961</identifier><language>eng</language><publisher>Aarhus University</publisher><ispartof>BRICS Report Series, 1997-06, Vol.4 (35)</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Cattani, Gian Luca</creatorcontrib><creatorcontrib>Fiore, Marcelo P.</creatorcontrib><creatorcontrib>Winskel, Glynn</creatorcontrib><title>A Theory of Recursive Domains with Applications to Concurrency</title><title>BRICS Report Series</title><addtitle>BRICS</addtitle><description>We develop a 2-categorical theory for recursively defined domains. In particular, we generalise the traditional approach based on order-theoretic structures to category-theoretic ones. A motivation for this development is the need of a domain theory for concurrency, with an account of bisimulation. Indeed, the leading examples throughout the paper are provided by recursively defined presheaf models for concurrent process calculi. Further, we use the framework to study (open-map) bisimulation.</description><issn>0909-0878</issn><issn>1601-5355</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1997</creationdate><recordtype>article</recordtype><sourceid>5R1</sourceid><recordid>eNotkFFLwzAcxIMoOOY-gG_5Ap1Jk7bJizKmTmEgyHwOSZqwv-uakcTJvr2129PBcXccP4TuKZk3lNcPJoJN8yMHVs2pkDW9QhNaE1pUrKqu0YRIIgsiGnGLZimBIWXJhWgkm6DHBd5sXYgnHDz-dPYnJjg6_Bz2GvqEfyFv8eJw6MDqDGFwcsDL0A-56Hp7ukM3XnfJzS46RV-vL5vlW7H-WL0vF-vCUk5pIaQzzBsumsb5shbDaS20FLTmZauFk0OK8FralpDhM9PUcC4k823LDZOCTRE979oYUorOq0OEvY4nRYn6Z6BGBmpkoEYGQ-fp3ElZ52TAdBCy27mswndSQcOoGdqUdhF8Vu1O6ZjBdu6y8Adrhmii</recordid><startdate>19970605</startdate><enddate>19970605</enddate><creator>Cattani, Gian Luca</creator><creator>Fiore, Marcelo P.</creator><creator>Winskel, Glynn</creator><general>Aarhus University</general><scope>5R1</scope><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>19970605</creationdate><title>A Theory of Recursive Domains with Applications to Concurrency</title><author>Cattani, Gian Luca ; Fiore, Marcelo P. ; Winskel, Glynn</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1411-89eb3fb4877ef268146a8a981642da8e91410469cd005353a1b44893fdd4b3983</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1997</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Cattani, Gian Luca</creatorcontrib><creatorcontrib>Fiore, Marcelo P.</creatorcontrib><creatorcontrib>Winskel, Glynn</creatorcontrib><collection>tidsskrift.dk</collection><collection>CrossRef</collection><jtitle>BRICS Report Series</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Cattani, Gian Luca</au><au>Fiore, Marcelo P.</au><au>Winskel, Glynn</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A Theory of Recursive Domains with Applications to Concurrency</atitle><jtitle>BRICS Report Series</jtitle><stitle>BRICS</stitle><date>1997-06-05</date><risdate>1997</risdate><volume>4</volume><issue>35</issue><issn>0909-0878</issn><eissn>1601-5355</eissn><abstract>We develop a 2-categorical theory for recursively defined domains. In particular, we generalise the traditional approach based on order-theoretic structures to category-theoretic ones. A motivation for this development is the need of a domain theory for concurrency, with an account of bisimulation. Indeed, the leading examples throughout the paper are provided by recursively defined presheaf models for concurrent process calculi. Further, we use the framework to study (open-map) bisimulation.</abstract><pub>Aarhus University</pub><doi>10.7146/brics.v4i35.18961</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0909-0878
ispartof BRICS Report Series, 1997-06, Vol.4 (35)
issn 0909-0878
1601-5355
language eng
recordid cdi_crossref_primary_10_7146_brics_v4i35_18961
source tidsskrift.dk
title A Theory of Recursive Domains with Applications to Concurrency
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-02T12%3A50%3A17IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-statsbiblioteket_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20Theory%20of%20Recursive%20Domains%20with%20Applications%20to%20Concurrency&rft.jtitle=BRICS%20Report%20Series&rft.au=Cattani,%20Gian%20Luca&rft.date=1997-06-05&rft.volume=4&rft.issue=35&rft.issn=0909-0878&rft.eissn=1601-5355&rft_id=info:doi/10.7146/brics.v4i35.18961&rft_dat=%3Cstatsbiblioteket_cross%3E18961%3C/statsbiblioteket_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true