[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Quaglia08

  1. Paola Quaglia
  2. On Beta-Binders Communications
  3. Montanari Festschrift pp456-472 [DeganoEtAl08]
  4. =IDEA MODEL BIOLOGICAL CELLULAR SYSTEMS CCS NON-SEQUENTIAL
  5. Instead of complementary paired actions (CCS) allows pairing of actions if they are of a compatible type.
  6. Defines syntax, equivalence, reductions, denotations, structural operational semantics,...
  7. Proves key results.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]