MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Generic Process Algebra." – sorted by Relevance.

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

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

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

ATOM

A Process Algebraic Semantics for Core - ELLA
by Howard Barringer, Graham Gough, Brian Monahan, Brian Monahan, Alan Williams, Alan Williams — 1993
… expressions on a construct by construct basis. EPA is an instantiation of a generic Process Algebra Framework…
Cited by 2 (2 self) – Add To MetaCart

An information flow method to detect denial of service vulnerabilities
by Stéphane Lafrance, John Mullins — 2003 — Formal Specifications of Computer-Based Systems, volume 9, pages 1258– 1260. Journal of Universal Computer Science
… establish our theoretical framework by introducing a generic process algebra with value-passing called…
Cited by 2 (2 self) – Add To MetaCart

Using admissible interference to detect denial of service vulnerabilities
by Stéphane Lafrance, John Mullins — 2003 — In Sixth International Workshop in Formal Methods. Electronic Workshops in Computing (eWiC) by British Computer Society (BCS
… the ability of a protocol to achieve these goals in the framework of a generic value-passing process algebra…
Cited by 5 (0 self) – Add To MetaCart

Generic Process Algebras for Asynchronous Communication
by F.S. de Boer, G. Zavattaro — 1999
… by \Delta. 3 A generic process algebra In this section we introduce a generic process algebra…
Add To MetaCart

unknown title
by unknown authors
… APC 2005 A generic process algebra Jos C.M. Baeten Formal Methods Group, Division of Computer…
Add To MetaCart

A ground-complete axiomatization of finite state processes in process algebra
by Jos C. M. Baeten — 2005 — In Proceedings of the 16th International Conference on Concurrency Theory, Lecture Notes in Computer Science
… for the process algebra. Over such a generic algebra we show the following. We provide a syntactical…
Cited by 5 (0 self) – Add To MetaCart

A Tool Chain for Lazy Soundness
by Frank Puhlmann — 2006 — In: Demo Session of the 4th International Conference on Business Process Management, CEUR Workshop Proceedings. Volume 203
…-calculus expressions. The π-calculus is a generic process algebra that is used to give formal semantics to common…
Cited by 3 (2 self) – Add To MetaCart

A symbolic approach to the analysis of security protocols
by Stéphane Lafrance — 2003 — Proc. of Foundations of Computer Security affiliated with LICS’03 , Ottawa
… to define a generic process algebraic symbolic framework as well-suited as possible to analyse cryptographic…
Cited by 2 (2 self) – Add To MetaCart

Quiescence, Fairness, Testing, and the Notion of Implementation (Extended abstract)
by Roberto Segala — 1993
… of input enabling on the operators of a generic process algebra is analyzed. The analysis of [16] includes…
Add To MetaCart

Themes in Final Semantics
by Marina Lenisa — 1998 — Dipartimento di Informatica, Università di
… axiomatize in GSOS format strong operational semantics of a generic process algebra language. In Section 5…
Cited by 5 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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