Introduction to finite fields and their applications
Introduction to finite fields and their applications
Automata, Languages, and Machines
Automata, Languages, and Machines
Towards a new conceptual framework for the modelling of dynamically distributed systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Mathematics for formal methods, a proposal for education reform
IW-FM'98 Proceedings of the 2nd Irish conference on 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 |
The act of distributing and the resulting distribution are notions which lie at the kernel of any distributed system. The basic algebra of such distributions and their use in formal specifications has already been developed in terms of indexed monoids (i.e., function spaces with valuations in monoids) and their morphisms. Complementary to such algebra is a body of emerging geometry/topology of formal specifications, one critical aspect of which is the fibre bundle, and more generally the sheaf. Fibre bundles are used to model the nature and shape of geometrical objects and to associate a field with points in a space. They find particular application in theoretical physics, for example. We demonstrate here that fibre bundles occur naturally in specifications and models associated with formal methods.