Theory and Implementation of a Real-Time Extension to the π-Calculus release_ivga3qbgwbatpf2civ7xo33vh4

by Ernesto Posse, Juergen Dingel

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2010   p125-139

Archived Files and Locations

application/pdf  377.8 kB
file_2deb5dtzijfwje3jmradpb2ceu
hal.inria.fr (repository)
web.archive.org (webarchive)
application/pdf  377.8 kB
file_t62hgheobjcjpdlsugeedu3zfu
hal.inria.fr (repository)
web.archive.org (webarchive)
application/pdf  556.3 kB
file_gs5rwy5slbbfdiajgd5zh2abrq
dl.ifip.org (web)
web.archive.org (webarchive)
application/pdf  355.4 kB
file_gawod2hking6df4hho4m4xjs4q
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2010
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 21d85220-b1eb-42ba-85a0-4c490f2453fa
API URL: JSON