George J. Milne

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An automated proof technique for finite-state machine equivalence	2024-04-29	Paper
Modelling dynamically changing hardware structure Electronic Notes in Theoretical Computer Science	2015-07-10	Paper
scientific article; zbMATH DE number 5181778 (Why is no real title available?)	2007-08-22	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
A Flexible Automata Model for Disease Simulation Lecture Notes in Computer Science	2005-08-17	Paper
Modelling Wildfire Dynamics via Interacting Automata Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 1487636 (Why is no real title available?)	2000-08-10	Paper
An exercise in the automatic verification of asynchronous designs Formal Methods in System Design	1994-09-04	Paper
scientific article; zbMATH DE number 139813 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 139801 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 4018390 (Why is no real title available?)	1986-01-01	Paper
CIRCAL and the representation of communication, concurrency, and time ACM Transactions on Programming Languages and Systems	1985-01-01	Paper
Concurrent Processes and Their Syntax Journal of the ACM	1979-01-01	Paper

Research outcomes over time

This page was built for person: George J. Milne