MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Assigning Types to Processes." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Assigning Types to Processes
by Nobuko Yoshida, Matthew Hennessy — 2000 — In LICS 2000
…Assigning Types to Processes Nobuko Yoshida Department of Mathematics and Computer Science…
Cited by 35 (4 self) – Add To MetaCart

Assigning Types to Processes (Extended Abstract)
by Nobuko Yoshida, Matthew Hennessy — 2000 — In IEEE Symposium on Logic in Computer Science
…Assigning Types to Processes (Extended Abstract) NOBUKO YOSHIDA MATTHEW HENNESSY Dept…
Cited by 1 (0 self) – Add To MetaCart

Types for Access Control
by Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Betti Venneri — 2000
… that statically assigns types to processes, and checks whether processes behave in accordance with their declared…
Cited by 44 (18 self) – Add To MetaCart

Orderly Communication in the Ambient Calculus
by Torben Amtoft, Assaf J. Kfoury, Santiago M. Pericas-Geertsen — 2002
…. Our type system assigns what we call behaviors to processes; a denotational semantics of behaviors…
Cited by 2 (2 self) – Add To MetaCart

What are polymorphically-typed ambients
by Torben Amtoft, Santiago M. Pericas-geertsen, Assaf J. Kfoury — 2000
… system for it. Our type system assigns types to embedded programs and what we call behaviors to processes…
Cited by 28 (5 self) – Add To MetaCart

What are Polymorphic Ambients?
by Torben Amtoft, Assaf J. Kfoury, Santiago M. Pericas-Geertsen — 2001
… for it. Our type system assigns types to embedded programs and what we call behaviors to processes; a…
Add To MetaCart

Typed Concurrent Programs: Specification & Verification
by Rajagopal Nagarajan — 1998
… to processes in SProco, 4.5 Sets of Processes 4.6 Assigning types to processes in SProco 4.7 Constructing…
Cited by 2 (2 self) – Add To MetaCart

Channel Dependent Types for Higher-Order Mobile Processes (Extended Abstract)
by Nobuko Yoshida — 2004 — In POPL’04
… with simple examples, starting from a brief review of our previous work in [51]. Assigning Types to Processes…
Cited by 11 (3 self) – Add To MetaCart

Programming Access Control: The KLAIM Experience
by Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese — Proc. of the 11th International Conference on Concurrency Theory (CONCUR’00), volume 1877 of LNCS
… inference system 2 assigns types to processes and checks whether processes behave consistently…
Cited by 9 (3 self) – Add To MetaCart

Types as Specifications of Access Policies
by Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese — 1999
… system assigns types to processes, and checks whether processes behave in accordance with their declared…
Cited by 12 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB