MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Communicating Finite-State Machines" – sorted by Relevance.

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

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

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

ATOM

On reachability and reverse reachability analysis of communicating finite state machines
by Wuxu Peng — 1995 — in Proc. 4th IEEE Int. Conf. on Computer Communications and Networks, Las Vegas, NV
…On Reachability and Reverse Reachability Analysis of Communicating Finite State Machines Wuxu Peng…
Cited by 1 (0 self) – Add To MetaCart

Checking states and transitions of a set of communicating finite state machines
by Rob M. Hierons — 2001 — In: Microprocessors and Microsystems
…Checking States and Transitions of a set of Communicating Finite State Machines Rob M. Hierons…
Cited by 5 (0 self) – Add To MetaCart

Conformane Testing of Protocols Represented as Communicating Finite State Machines
by V. Arun Kumar, Dr. S Ramesh — 2001
…Conformane Testing of Protocols Represented as Communicating Finite State Machines B.Tech. Project…
Add To MetaCart

Reverse Reachability Analysis: A New Technique for Deadlock Detection on Communicating Finite State
by Yung-chen Hung, Gen-Huey Chen — 1993
… Analysis: A New Technique for Deadlock Detection on Communicating Finite State Machines yung-chen hung…
Cited by 2 (0 self) – Add To MetaCart

DSS: A Tool for Simulation of Distributed Systems and Protocols through Communicating Finite State
by K. Hatzis, Ch. Papanikolaou, G. Pentaris, P. Spirakis, B. Tampakas — 1994 — Tampakas, P Spirakis, CTI Internal Report
… ([5]), every protocol is described as a collection of Finite State Machines (FSMs) communicating via…
Cited by 3 (1 self) – Add To MetaCart

On Test Case Generation From Asynchronously Communicating State Machines
by O. Henniger — 1997
… TTCN from a system of asynchronously communicating finite state machines. We give an algorithm…
Cited by 6 (1 self) – Add To MetaCart

Model Checking for Communication Protocols
by Pablo Argòn, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski
…,supratik,podelskig@(email omitted); Abstract Brand and Zafiropulo [BZ83] introduced the model of communicating finite-state machines…
Cited by 1 (0 self) – Add To MetaCart

Deadlock Detection in CFSM Models via Simultaneously Executable Sets
by Kadir Ozdemir, Hasan Ural — 1994 — in Proc. 6th Conference on Communication and Information
… state machine model. Keywords: Communicating finite state machines, deadlock detection, protocol…
Add To MetaCart

Promela Planning
by Stefan Edelkamp — 2003 — In Proceedings of SPIN-03
… the representation of protocols as communicating finite state machines. The work targets the transfer between…
Cited by 14 (6 self) – Add To MetaCart

unknown title
by unknown authors
… as communicating finite state machines. The dream of somehow using this observation to automate the verification…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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