CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
5 research outputs found
On the Representation of McCarthy's amb in the π-calculus
Author
Carayol Arnaud
Hirschkoff Daniel
Sangiorgi Davide
Publication venue
Publication date
01/01/2004
Field of study
Get PDF
n/
CiteSeerX
Elsevier - Publisher Connector
Archivio istituzionale della ricerca - Alma Mater Studiorum Università di Bologna
Open Access Repository
Hal-Diderot
HAL - UPEC / UPEM
On the Representation of McCarthy's amb in the π-calculus
Author
Arnaud Carayol
Boudol
+17Â more
Boudol
Carayol
Daniel Hirschkoff
Davide Sangiorgi
Dezani-Ciancaglini
Fernandez
Henderson
Howe
Hughes
Lassen
McCarthy
Natarajan
Nestmann
Panangaden
Sangiorgi
Sangiorgi
Turner
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref
On the representation of McCarthy's <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi mathvariant="italic">amb</mml:mi></mml:math> in the <mml:math altimg="si2.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi>Ï€</mml:mi></mml:math>-calculus
Author
Abramsky
Arnaud Carayol
+13Â more
Billingsley
Boudol
Boudol
Daniel Hirschkoff
Davide Sangiorgi
Dezani-Ciancaglini
Henderson
Howe
McCarthy
Sands
Sangiorgi
Sangiorgi
Turner
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref