E-LIB Suche - Ergebnisse für: Degano, P.

1

Relating two automata-based models of orchestration and cho..:

Basile, D. ; Degano, P. ; Ferrari, G.L..
Journal of Logical and Algebraic Methods in Programming. 85 (2016) 3 - p. 425-446 , 2016

Link: https://doi.org/10.1016/..

2

Beta-binders for Biological Quantitative Experiments:

Degano, P. ; Prandi, D. ; Priami, C..
Electronic Notes in Theoretical Computer Science. 164 (2006) 3 - p. 101-117 , 2006

Link: https://doi.org/10.1016/..

3

Authentication primitives for secure protocol specification:

Bodei, C. ; Degano, P. ; Focardi, R..
Future Generation Computer Systems. 21 (2005) 5 - p. 645-653 , 2005

Link: https://doi.org/10.1016/..

4

Modelling biochemical pathways through enhanced π-calculus:

Curti, M. ; Degano, P. ; Priami, C..
Theoretical Computer Science. 325 (2004) 1 - p. 111-140 , 2004

Link: https://doi.org/10.1016/..

5

Flow logic for Dolev–Yao secrecy in cryptographic processes:

Bodei, C. ; Degano, P. ; Nielson, F..
Future Generation Computer Systems. 18 (2002) 6 - p. 747-756 , 2002

Link: https://doi.org/10.1016/..

6

Computing surveys' electronic symposium on the theory of co..:

Degano, P. ; Gorrieri, R. ; Marchetti-Spaccamela, A..
ACM Computing Surveys. 31 (1999) 3 - p. 223-225 , 1999

Link: https://doi.org/10.1145/..

7

Computing surveys' electronic symposium on the theory of co..:

Degano, P. ; Gorrieri, R. ; Marchetti-Spaccamela, A..
ACM Computing Surveys (CSUR). 31 (1999) 3 - p. 223-225 , 1999

Link: https://dl.acm.org/doi/1..

8

Computing surveys' electronic symposium on the theory of co..:

Degano, P. ; Gorrieri, R. ; Marchetti-Spaccamela, A..
ACM Computing Surveys (CSUR). 31 (1999) 3es - p. 1-es , 1999

Link: https://dl.acm.org/doi/1..

9

Computing surveys' electronic symposium on the theory of co..:

Degano, P. ; Gorrieri, R. ; Marchetti-Spaccamela, A..
ACM Computing Surveys. 31 (1999) 3es - p. 1 , 1999

Link: https://doi.org/10.1145/..

10

Intradermal DNA immunization of mice against influenza A vi..:

DEGANO, P
Vaccine. 16 (1998) 4 - p. 394-398 , 1998

Link: https://doi.org/10.1016/..

11

Development of a CTL inducing vaccine against plasmodium fa..:

Gilbert, S ; Schneider, J ; Hannan, C...
Parasitology International. 47 (1998) - p. 68 , 1998

Link: https://doi.org/10.1016/..

12

A Causal Operational Semantics of Action Refinement:

Degano, P. ; Gorrieri, R.
Information and Computation. 122 (1995) 1 - p. 97-119 , 1995

Link: https://doi.org/10.1006/..

13

Generating the analytic component parts of syntax-directed ..:

Bianchi, U. ; Degano, P. ; Mannucci, S....
Journal of Systems and Software. 23 (1993) 1 - p. 65-79 , 1993

Link: https://doi.org/10.1016/..

14

Inhibition of insulin release by amylin is not mediated by ..:

Peiró, E. ; Dégano, P. ; Silvestre, R.A..
Life Sciences. 49 (1991) 10 - p. 761-765 , 1991

Link: https://doi.org/10.1016/..

15

A partial ordering semantics for CCS:

Degano, P. ; De Nicola, R. ; Montanari, U.
Theoretical Computer Science. 75 (1990) 3 - p. 223-262 , 1990

Link: https://doi.org/10.1016/..