Communicating sequential processes
Communicating sequential processes
Topics in distributed algorithms
Topics in distributed algorithms
Formal Methods for Concurrency
Formal Methods for Concurrency
Communication and Concurrency
Automata, Languages, and Machines
Automata, Languages, and Machines
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
From Action Systems to Modular Systems
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Concurrent Processes as Objects (Abstract)
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Tutorial on the Irish School of the VDM
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
On the Inheritance of Monoid Properties in Indexed Structures.
On the Inheritance of Monoid Properties in Indexed Structures.
The Theory of Algorithms
Mathematics for formal methods, a proposal for education reform
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
The geometry of distributions in formal methods
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Recursion diagrams: ideas for a geometry of formal methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |
We hypothesize that the mathematics used in the modelling, and hence specification, of computing systems should be universal in the sense that it be equally suitable for the modelling of natural systems, viz., physical, chemical, biological, or cosmological, and vice-versa, and as a consequence we propose to demonstrate a method of development that promises to lead into a fruitful area of exploration for both research and pedagogy in the general field of dynamically distributed systems. In the process, we demonstrate that there is a geometry of formal methods, complementary to the usual algebra of formal methods and show how the geometry may be used in practice in the formal specification of systems. The results are immediately applicable to the model-theoretic formal methods such as VDM and Z.