The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for CIRCAL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-2002 (15) 2003-2004 (2)
Publication types (Num. hits)
article(3) inproceedings(13) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 8 keywords

Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
158George J. Milne Circal and the Representation of Communication, Concurrency, and Time. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF CIRCAL
128Antonio Cerone Implementing Condition/Event Nets in the Circal Process Algebra. Search on Bibsonomy FASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
78Adam G. Dunn, George Milne Modelling Wildfire Dynamics via Interacting Automata. Search on Bibsonomy ACRI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Modelling wildfire spread, Circal, cellular automata
47Oliver Diessel, George J. Milne Behavioural Language Compilation with Virtual Hardware Management. Search on Bibsonomy FPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
47Antonio Cerone, George J. Milne A Methodology for the Formal Analysis of Asynchronous Micropipelines. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Antonio Cerone, Alex J. Cowie, George J. Milne The Circal System. Search on Bibsonomy AMAST The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Antonio Cerone, George J. Milne Specification of Timing Constraints within the Circal Process Algebra. Search on Bibsonomy AMAST The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley Modelling a Time-Dependent Protocol Using the Circal Process Algebra. Search on Bibsonomy HART The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Khaled M. Elleithy, Alaaeldin A. M. Amin An Event Logic Architecture for CIRCAL Algorithms. Search on Bibsonomy Parallel and Distributed Computing and Systems The full citation details ... 1995 DBLP  BibTeX  RDF
34Andrew M. Bailey Automatic Verification of Speed-Independent Circuit Designs Using the Circal System. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
34Wolfgang Dolezol Analyse des Äquivalenzbegriffs von CIRCAL im Hinblick auf die Implementierung eines Verifikationssystems. Search on Bibsonomy 1989   RDF
34George J. Milne Circal: A calculus for circuit description. Search on Bibsonomy Integr. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
34George J. Milne Description and Analysis Using Circal. Search on Bibsonomy The Analysis of Concurrent Systems The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
31George J. Milne The Formal Description and Verification of Hardware Timing. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1991 DBLP  DOI  BibTeX  RDF hardware timing, CIRCAL, verification, finite state machines, logic design, finite automata, formal description, modeling framework, verification techniques
23David F. J. George, Susan E. George Cellular Automata Cryptography Using Reconfigurable Computing. Search on Bibsonomy IEA/AIE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Oliver Diessel, Usama Malik An FPGA Interpreter with Virtual Hardware Management. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Antonio Cerone Process Algebra versus Axiomatic Specification of a Real-Time Protocol. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #17 of 17 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license