MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Correctness of Concurrent Processes." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

-1 GENERAL COMPARISONS Dimensions of Distribution
by In Chapter We
…; Concurrent Processes, program semantics; and Petri Nets, system correctness. The programming languages focus…
Add To MetaCart

WISE: Process based E-Commerce
by Lazcano Schuldt Alonso, A. Lazcano, H. Schuldt, G. Alonso, H. -j. Schek — 2001 — IEEE Data Engineering Bulletin
… management [SAS99], i.e., guaranteeing correct concurrent and fault-tolerant process execution…
Add To MetaCart

Compositional state space generation with partial order reductions for Asynchronous Communicating Systems
by Jean-pierre Krimm, Laurent Mounier — 2000 — In Proceedings of TACAS'2000
… the correctness of concurrents processes synchronized by means of semaphores. It was also used in [AJKP98] within…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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