J.S. Moore. A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol. Formal Aspects of Computing, 6(1):60-91, 1994. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Real-Time Systems Development with Duration Calculi: an Overview - Van Hung (2002) (4 citations) (Correct)
A Transformational Approach for Generating Non-Linear .. - Bensalem, Bozga.. (2000) (1 citation) (Correct)
From Continuous Specification to Discrete Design - Siewe, Van Hung (1999) (1 citation) (Correct)
Theorem Provers of LCF - Larson (1997) (Correct)
Verification via Digitized Models of Real-Time Hybrid Systems - Van Hung, Kwang (1995) (Correct)
Modelling and Verification of Biphase Mark Protocols in Duration .. - Van Hung (1998) (3 citations) (Correct)
Specification and Verification of Gate-Level VHDL Models of.. - Russinoff (1994) (2 citations) (Correct)
Formal Methods Technology Transfer: A View from NASA - Caldwell (1996) (2 citations) (Correct)
Verification of an Audio Control Protocol - Bosscher, Polak, al. (1994) (49 citations) (Correct)
Verification of a Biphase Mark Protocol - Ivanov, Griffioen, Vaandrager (1999) (2 citations) (Correct)
The Role of Automated Reasoning in Integrated System.. - Good, Kaufmann, Moore (1992) (1 citation) (Correct)
Checking Verifications of Protocols and Distributed Systems .. - Groote, Monin, Pol (1998) (8 citations) (Correct)
NASA Langley's Research and Technology-Transfer.. - Butler, Caldwell, .. (1995) (8 citations) (Correct)
Verification of a Biphase Mark Protocol - Ivanov, Griffioen (1999) (2 citations) (Correct)
Some Lessons from the HyTech Experience - Henzinger, Preußig, Wong-Toi (2001) (12 citations) (Correct)
A Formal Model of Asynchronous Communication and Its Use in.. - Moore (1993) (15 citations) Self-citation (Moore) (Correct)
Design Goals for ACL2 - Kaufmann, Moore (1994) (24 citations) Self-citation (Moore) (Correct)
Mechanically Verified Hardware Implementing an 8-Bit Parallel IO.. - Moore (1992) (6 citations) Self-citation (Moore) (Correct)
ACL2: An Industrial Strength Version of Nqthm - Kaufmann, Moore (1996) (30 citations) Self-citation (Moore) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC