×
Edit Profile (opens in new tab)

Milne, George J.

Co-Author Distance
Author ID: milne.george-j Recent zbMATH articles by "Milne, George J."
Published as: Milne, George J.; Milne, George; Milne, G. J.; Milne, G.
Documents Indexed: 12 Publications since 1979
2 Contributions as Editor
Co-Authors: 15 Co-Authors with 11 Joint Publications
116 Co-Co-Authors
all top 5

Co-Authors

3 single-authored
2 Bailey, Andrew D. jun.
2 Cerone, Antonio
2 McCaskill, George A.
1 Borrione, Dominique
1 Claesen, Luc
1 Dunn, Adam
1 Eveking, Hans
1 Fu, Shih Ching
1 Kelso, Joel
1 McIntosh, Jim
1 Milner, Robin
1 Paillet, Jean-Luc
1 Pierre, Laurence
1 Prinetto, Paolo
1 Subrahmanyam, P. A.

Serials

1 Journal of the Association for Computing Machinery
1 ACM Transactions on Programming Languages and Systems
1 Formal Methods in System Design
1 Lecture Notes in Computer Science

Fields

13 Computer science (68-XX)
5 Information and communication theory, circuits (94-XX)
2 General and overarching topics; collections (00-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

7 Publications have been cited 56 times in 52 Documents Cited by ▼ Year ▼
Concurrent processes and their syntax. Zbl 0395.68030
Milne, George; Milner, Robin
27
1979
CIRCAL and the representation of communication, concurrency, and time. Zbl 0562.68017
Milne, George J.
21
1985
The description and automatic verification of digital circuits in Circal. Zbl 0794.68100
Bailey, Andrew; McCaskill, George A.; McIntosh, Jim; Milne, George J.
2
1992
An exercise in the automatic verification of asynchronous designs. Zbl 0795.94020
Bailey, Andrew; McCaskill, George A.; Milne, George J.
2
1994
Correct hardware design and verification methods. IFIP WG10.2 Advanced research working conference, CHARME ’93, Arles, France, May 24–26, 1993. Proceedings. Zbl 0825.00114
2
1993
A flexible automata model for disease simulation. Zbl 1116.92322
Fu, Shih Ching; Milne, George
1
2004
Modelling wildfire dynamics via interacting automata. Zbl 1116.68510
Dunn, Adam; Milne, George
1
2004
A flexible automata model for disease simulation. Zbl 1116.92322
Fu, Shih Ching; Milne, George
1
2004
Modelling wildfire dynamics via interacting automata. Zbl 1116.68510
Dunn, Adam; Milne, George
1
2004
An exercise in the automatic verification of asynchronous designs. Zbl 0795.94020
Bailey, Andrew; McCaskill, George A.; Milne, George J.
2
1994
Correct hardware design and verification methods. IFIP WG10.2 Advanced research working conference, CHARME ’93, Arles, France, May 24–26, 1993. Proceedings. Zbl 0825.00114
2
1993
The description and automatic verification of digital circuits in Circal. Zbl 0794.68100
Bailey, Andrew; McCaskill, George A.; McIntosh, Jim; Milne, George J.
2
1992
CIRCAL and the representation of communication, concurrency, and time. Zbl 0562.68017
Milne, George J.
21
1985
Concurrent processes and their syntax. Zbl 0395.68030
Milne, George; Milner, Robin
27
1979
all cited Publications top 5 cited Publications
all top 5

Cited by 92 Authors

3 Engelfriet, Joost
3 Garavel, Hubert
2 Abramsky, Samson
2 Baeten, Jos C. M.
2 Chalopin, Jérémie
2 Degano, Pierpaolo
2 Francez, Nissim
2 Gelsema, Tjalling
2 Inverardi, Paola
2 Lynch, Nancy Ann
2 Métivier, Yves
2 Milne, George J.
2 Plotkin, Gordon D.
2 Priami, Corrado
1 Arbib, Michael A.
1 Arboleda, Sair
1 Azcorra, Arturo
1 Bailey, Andrew D. jun.
1 Benson, David B.
1 Bergstra, Jan A.
1 Bolognesi, Tommaso
1 Boychuk, Dennis
1 Braun, Willard John
1 Brinksma, Ed
1 Brookes, Stephen D.
1 Carchiolo, Vincenza
1 Cunha, Paulo Roberto Freire
1 de Frutos, David
1 de Lucena, Carlos José Pereira
1 De Nicola, Rocco
1 Elrad, Tzilla
1 Fischer, Michael J.
1 Fournier, Reine
1 Garg, Vijay K.
1 Gilbert, David
1 Godard, Emmanuel
1 Hoare, Charles Antony Richard
1 Hyland, J. Martin E.
1 Ingólfsdóttir, Anna
1 Itai, Alon
1 Joung, Yuh-Jzer
1 Krougly, Z. L.
1 Ladner, Richard E.
1 Lang, Frédéric
1 Lehmann, Daniel J.
1 Leonard, Elizabeth I.
1 Letychevs’kyĭ, Oleksandr Adol’fovych
1 Maibaum, Thomas Stephen Edward
1 Malgeri, Michele
1 Manes, Ernest G.
1 Mangioni, Giuseppe
1 Marchetti, Sergio
1 McCaskill, George A.
1 Mendler, Michael
1 Meyer, John-Jules Charles
1 Miguel, Carlos
1 Milner, Robin
1 Montanari, Ugo G.
1 Nepomuceno-Fernández, Ángel
1 Nielsen, Mogens
1 Peleg, David
1 Philippou, Anna
1 Power, John
1 Puerta, María
1 Quemada, Juan
1 Ragunath, M. T.
1 Rodeh, Michael
1 Roscoe, Andrew William
1 Salaün, Gwen
1 Scollo, Giuseppe
1 Serwe, Wendelin
1 Stanford, David A.
1 Steenstrup, Martha E.
1 Taubner, Dirk
1 Thompson, B. C.
1 Thorelli, Lars-Erik
1 Toro, Mauricio
1 Troeger, Douglas R.
1 Tucker, John V.
1 Vaandrager, Frits W.
1 van Breugel, Franck
1 Van Sinderen, Marten J.
1 Vélez S., Carlos M.
1 Vidaller, Leon
1 Vissers, Chris A.
1 Vogler, Walter
1 von Bochmann, Gregor
1 Wang, Liguo
1 Winskel, Glynn
1 Yankelevich, Daniel N.
1 Zucker, Jeffery I.
1 Zwarico, Amy E.
all top 5

Cited in 17 Serials

15 Theoretical Computer Science
5 Journal of Computer and System Sciences
5 Formal Aspects of Computing
4 Information and Computation
3 Distributed Computing
2 Formal Methods in System Design
1 Acta Informatica
1 Information Processing Letters
1 Applied Mathematics and Computation
1 BIT
1 INFOR
1 International Journal of Computer & Information Sciences
1 Mathematical Systems Theory
1 Science of Computer Programming
1 International Journal of Parallel Programming
1 Mathematical Structures in Computer Science
1 Cybernetics and Systems Analysis
all top 5

Cited in 7 Fields

51 Computer science (68-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
1 Mathematical logic and foundations (03-XX)
1 Operations research, mathematical programming (90-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Biology and other natural sciences (92-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year