MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Logical Process Calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • A Logical Process Calculus  
  • by Rance Cleaveland, Gerald Lüttgen — 2002
  • …://www.elsevier.nl/locate/entcs/volume68.html 18 pages A Logical Process Calculus 1 Rance Cleaveland 2 Department of Computer Science…
  • Cited by 5 (1 self) – Add To MetaCart
  • Formalising Actors in Linear Logic  
  • by John Darlington, Yi-ke Guo — 1995 — In Proceedings of the International Conference on Object-Oriented Information Systems (OOIS'94
  • … computation. A linear logic process calculus is presented as a meta language for describing the computational…
  • Cited by 4 (0 self) – Add To MetaCart
  • Reduction as Deduction  
  • by John Darlington, Yi-ke Guo, Martin Köhler — 1994 — 6th Implementation of Functional Languages
  • …. Thus, we can select an appropriate fragment of the logic as a process calculus. From a logical point…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB