default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCategorical Methods for Concurrency, Interaction, and Mobility @ CONCUR 2002: Brno, Czech Republic
- Alexander Kurz:
Categorical Methods for Concurrency, Interaction, and Mobility 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002. Electronic Notes in Theoretical Computer Science 68(1), Elsevier 2002 - Richard Buckland, Michael Johnson
, Dominic R. Verity:
On the Specification of Higher Dimensional Automata. 1-11 - Marco Kick:
Rule Formats for Timed Processes. 12-31 - Jan Rothe, Dragan Masulovic:
Towards Weak Bisimulation For Coalgebras. 32-46 - Ralf Schweimeier:
A categorical framework for typing CCS-style process communication. 47-69 - Krzysztof Worytkiewicz:
Concrete Process Categories. 70-85 - Alexander Kurz:
Preface. 86
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.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
