skip to main content
Show Results with:

Results 1 - 10 of 4,338  for Everything in this catalogue

results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

Observing distribution in processes: static and dynamic localities

Castellani, I.

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Part: Part 2276; -- 1994

Check library holdings

2
Material Type:
Article
Add to My workspace

Observing Distribution in Processes: Static and Dynamic Localities

Castellani, I.

International journal of foundations of computer science. VOL 6; NUMBER 4, ; 1995, 353-394 -- WORLD SCIENTIFIC Part: Part 4; (pages 353-394) -- 1995

Check library holdings

3
Material Type:
Article
Add to My workspace

Causal and distributed semantics for concurrent processes

Castellani, I.

SPRINGER VERLAG KG Part: Part 665; -- 1993

Check library holdings

4
Material Type:
Article
Add to My workspace

State-oriented Noninterference for CCS

Castellani, I.

Electronic notes in theoretical computer science VOL 194; NUMBER 1, ; 2007, 39-60 -- ELSEVIER SCIENCE B.V AMSTERDAM (pages 39-60) -- 2007

Online access

5
Material Type:
Article
Add to My workspace

An algebraic characterization of observational equivalence

Arnold, A.; Castellani, I.

Theoretical computer science. VOL 156; NUMBER 1/2, ; 1996, 289-300 Part: Part 1/2; (pages 289-300) -- 1996

Check library holdings

6
Material Type:
Article
Add to My workspace

Flow Models of Distributed Computations: Three Equivalent Semantics for CCS

Boudol, G.; Castellani, I.

Information and computation. VOL 114; NUMBER 2, ; 1994, 247 -- ACADEMIC PRESS INC Part: Part 2; -- 1994

Check library holdings

7
Material Type:
Article
Add to My workspace

Noninterference for concurrent programs and thread systems

Boudol, G. Castellani, I.

Theoretical computer science. VOL 281; NUMBER 1-2, ; 2002, 109-130 -- ELSEVIER SCIENCE (pages 109-130) -- 2002

Online access

8
Material Type:
Article
Add to My workspace

Noninterference for Concurrent Programs and Thread Systems

Boudol, G. Castellani, I.

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN -- 2001

Check library holdings

9
Material Type:
Article
Add to My workspace

Parallel product of event structures

Castellani, I.; Zhang, G.-Q.

Theoretical computer science. VOL 179; NUMBER 1/2, ; 1997, 203-216 Part: Part 1/2; (pages 203-216) -- 1997

Check library holdings

10
Material Type:
Article
Add to My workspace

Noninterference for Concurrent Programs

Boudol, G. Castellani, I.; van Leeuwen, J.

Springer-Verlag; 1999 (pages 382-395) -- 2001

Check library holdings

Results 1 - 10 of 4,338  for Everything in this catalogue

results 1 2 3 4 5 next page

Refine Search Results

Refine my results

Access Options 

  1. Purchase a copy  (3,660)
  2. Request to Reading Room  (3,169)
  3. Online: Reading Room only  (1,249)
  4. Online  (37)
  5. Refine further open sub menu

Material type 

  1. Articles  (3,870)
  2. Books  (376)
  3. Scores  (62)
  4. Audio  (25)
  5. Theses  (4)
  6. Reports  (1)
  7. Refine further open sub menu

Creation date 

From To
  1. Before1958  (134)
  2. 1958To1973  (40)
  3. 1974To1988  (122)
  4. 1989To2004  (1,618)
  5. After 2004  (2,310)
  6. Refine further open sub menu

Additional Features 

  1. Abstract  (1,152)
  2. No Abstract  (2,718)
  3. Refine further open sub menu

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Castellani, C.
  2. Castellani, L.
  3. Castellani, V.
  4. Castellani, N.
  5. Castellani, M.

Searching Remote Databases, Please Wait