|
|
Venues (Conferences, Journals, ...)
|
|
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 |
158 | George J. Milne |
Circal and the Representation of Communication, Concurrency, and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 7(2), pp. 270-298, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
CIRCAL |
128 | Antonio Cerone |
Implementing Condition/Event Nets in the Circal Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 49-63, 2002, Springer, 3-540-43353-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
78 | Adam G. Dunn, George Milne |
Modelling Wildfire Dynamics via Interacting Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004, Proceedings, pp. 395-404, 2004, Springer, 3-540-23596-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Modelling wildfire spread, Circal, cellular automata |
47 | Oliver Diessel, George J. Milne |
Behavioural Language Compilation with Virtual Hardware Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, FPL 2000, Villach, Austria, August 27-30, 2000, Proceedings, pp. 707-717, 2000, Springer, 3-540-67899-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Antonio Cerone, George J. Milne |
A Methodology for the Formal Analysis of Asynchronous Micropipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings, pp. 246-262, 2000, Springer, 3-540-41219-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Antonio Cerone, Alex J. Cowie, George J. Milne |
The Circal System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, pp. 563-564, 1997, Springer, 3-540-63888-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Antonio Cerone, George J. Milne |
Specification of Timing Constraints within the Circal Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, pp. 108-122, 1997, Springer, 3-540-63888-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HART ![In: Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings, pp. 124-138, 1997, Springer, 3-540-62600-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Khaled M. Elleithy, Alaaeldin A. M. Amin |
An Event Logic Architecture for CIRCAL Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel and Distributed Computing and Systems ![In: Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, Washington, D.C., USA, October 19-21, 1995, pp. 311-316, 1995, IASTED/ACTA Press. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
34 | Andrew M. Bailey |
Automatic Verification of Speed-Independent Circuit Designs Using the Circal System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings, pp. 167-178, 1993, Springer, 3-540-56778-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Wolfgang Dolezol |
Analyse des Äquivalenzbegriffs von CIRCAL im Hinblick auf die Implementierung eines Verifikationssystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
34 | George J. Milne |
Circal: A calculus for circuit description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 1(2-3), pp. 121-160, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
34 | George J. Milne |
Description and Analysis Using Circal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 293-313, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
31 | George J. Milne |
The Formal Description and Verification of Hardware Timing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(7), pp. 811-826, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings, pp. 104-111, 2003, Springer, 3-540-40455-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Oliver Diessel, Usama Malik |
An FPGA Interpreter with Virtual Hardware Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Antonio Cerone |
Process Algebra versus Axiomatic Specification of a Real-Time Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 57-72, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|