Search results for "CIRCAL"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
158	George J. Milne	Circal and the Representation of Communication, Concurrency, and Time.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF	CIRCAL
128	Antonio Cerone	Implementing Condition/Event Nets in the Circal Process Algebra.	FASE	2002	DBLP DOI BibTeX RDF
78	Adam G. Dunn, George Milne	Modelling Wildfire Dynamics via Interacting Automata.	ACRI	2004	DBLP DOI BibTeX RDF	Modelling wildfire spread, Circal, cellular automata
47	Oliver Diessel, George J. Milne	Behavioural Language Compilation with Virtual Hardware Management.	FPL	2000	DBLP DOI BibTeX RDF
47	Antonio Cerone, George J. Milne	A Methodology for the Formal Analysis of Asynchronous Micropipelines.	FMCAD	2000	DBLP DOI BibTeX RDF
34	Antonio Cerone, Alex J. Cowie, George J. Milne	The Circal System.	AMAST	1997	DBLP DOI BibTeX RDF
34	Antonio Cerone, George J. Milne	Specification of Timing Constraints within the Circal Process Algebra.	AMAST	1997	DBLP DOI BibTeX RDF
34	Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley	Modelling a Time-Dependent Protocol Using the Circal Process Algebra.	HART	1997	DBLP DOI BibTeX RDF
34	Khaled M. Elleithy, Alaaeldin A. M. Amin	An Event Logic Architecture for CIRCAL Algorithms.	Parallel and Distributed Computing and Systems	1995	DBLP BibTeX RDF
34	Andrew M. Bailey	Automatic Verification of Speed-Independent Circuit Designs Using the Circal System.	CHARME	1993	DBLP DOI BibTeX RDF
34	Wolfgang Dolezol	Analyse des Äquivalenzbegriffs von CIRCAL im Hinblick auf die Implementierung eines Verifikationssystems.		1989	RDF
34	George J. Milne	Circal: A calculus for circuit description.	Integr.	1983	DBLP DOI BibTeX RDF
34	George J. Milne	Description and Analysis Using Circal.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
31	George J. Milne	The Formal Description and Verification of Hardware Timing.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	hardware timing, CIRCAL, verification, finite state machines, logic design, finite automata, formal description, modeling framework, verification techniques
23	David F. J. George, Susan E. George	Cellular Automata Cryptography Using Reconfigurable Computing.	IEA/AIE	2003	DBLP DOI BibTeX RDF
23	Oliver Diessel, Usama Malik	An FPGA Interpreter with Virtual Hardware Management.	IPDPS	2002	DBLP DOI BibTeX RDF
23	Antonio Cerone	Process Algebra versus Axiomatic Specification of a Real-Time Protocol.	AMAST	2000	DBLP DOI BibTeX RDF