Bruce S. Davie. Formal Specification and Verifiation in VLSI Design. Edinburgh University Press, 1990. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
High-Level Timing Specification of Instruction-Level.. - Harcourt, Mauney, Cook (1993) (2 citations) (Correct)
.... and deficits depending on the application domain (we have already mentioned in the introduction our criteria for choosing SCCS) There are also a variety of formalisms for specifying asynchronous and or synchronous concurrent systems [Mil89] including Petri Nets, CCS, SCCS, ACP, CIRCAL, and CSP [Mil89, Mil93, Hoa85, Mil85, BRR87, Dav90]. Process algebra has been used to give a semantics to a communications protocol language, LOTOS; a parallel object oriented language, POOL; a computer integrated manufacturing system; and to the specification of low level digital hardware; these and other applications of process algebra may be ....
Bruce S. Davie. Formal Specification and Verifiation in VLSI Design. Edinburgh University Press, 1990.
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