MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Priorities in Process Algebras" – 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

Priorities in process algebra
by Rance Cleaveland, Gerald Lüttgen, V. Natarajan — 1999
…Priority in Process Algebras Rance Cleaveland Department of Computer Science, State University…
Cited by 91 (12 self) – Add To MetaCart

Modeling and verifying distributed systems using priorities: A case study
by Rance Cleaveland, Gerald Luttgen Y, V. Natarajan, Steve Sims — 1996 — Software Concepts and Tools
… railway signaling system. Priorities in process algebras support an intuitive modeling of distributed…
Cited by 14 (5 self) – Add To MetaCart

Priorities for Modeling and Verifying Distributed Systems
by Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims — In TACAS'96, LNCS 1055
…. Natarajan Steve Sims ABSTRACT This paper illustrates the use of priorities in process algebras by a real…
Cited by 7 (1 self) – Add To MetaCart

A Process Algebra of Communicating Shared Resources with Dense Time and Priorities
by Patrice Bremond-Gregoire , Insup Lee — 1997 — THEORETICAL COMPUTER SCIENCE
…A Process Algebra of Communicating Shared Resources with Dense Time and Priorities Patrice Br…
Cited by 40 (13 self) – Add To MetaCart

Priority as Extremal Probability
by Scott Smolka, Bernhard Steffen, Aachener Informatikberichte — 1990 — Formal Aspects of Computing
… for reasoning about priority, and covers all features of process algebras proposed for reasoning about priority…
Cited by 16 (2 self) – Add To MetaCart

Algebraic Reasoning for Probabilistic Concurrent Systems
by Alessandro Giacalone, Chi-chang Jou, Scott A. Smolka — 1990 — Proc. IFIP TC2 Working Conference on Programming Concepts and Methods
…88] have investigated the notion of priority in process algebra. In the latter, a dialect of CCS…
Cited by 86 (4 self) – Add To MetaCart

Automatic Generation of Tests for Timing Constraints from Requirements
by Duncan Clarke, Insup Lee — 1997 — In Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems
…, with explicit notions of time, serially reusable resources, and priority. Process algebras, and ACSR…
Cited by 13 (0 self) – Add To MetaCart

Automatic Test Generation for the Analysis of a Real-Time System: Case Study
by Duncan Clarke, Insup Lee — 1997 — In IEEE Real-Time Technology and Applications
… of time, serially reusable resources, and priority. Process algebras, and ACSR in particular, have…
Cited by 7 (2 self) – Add To MetaCart

Automatic Generation of Tests for Timing Constraints from Requirements
by Duncan Clarke Insup, Duncan Clarke, Insup Lee — 1997 — In Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems
… algebra Algebra of Communicating Shared Resources (ACSR) for representing tests and process models…
Add To MetaCart

Encoding Catalytic P Systems in
by unknown authors
… of priority in process algebras, see [3]. 4 Encoding catalytic P systems in ss@ P systems and process calculi…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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