Follow
Mark Josephs
Mark Josephs
Verified email at bcu.ac.uk - Homepage
Title
Cited by
Cited by
Year
Applications of asynchronous circuits
CH Van Berkel, MB Josephs, SM Nowick
Proceedings of the IEEE 87 (2), 223-233, 1999
3051999
Receptive process theory
MB Josephs
Acta informatica 29, 17-31, 1992
1551992
A state-based approach to communicating processes
MB Josephs
Distributed Computing 3, 9-18, 1988
1451988
A theory of synchrony and asynchrony
J He, MB Josephs, CAR Hoare
Programming Concepts and Methods: Proceedings of the IFIP Working Group 2.2 …, 1990
90*1990
An overview of DI algebra
MB Josephs, JT Udding
[1993] Proceedings of the Twenty-sixth Hawaii International Conference on …, 1993
811993
Modeling and design of asynchronous circuits
MB Josephs, SM Nowick, CH Van Berkel
Proceedings of the IEEE 87 (2), 234-242, 1999
691999
CMOS design of the tree arbiter element
MB Josephs, JT Yantchev
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 4 (4), 472-476, 1996
621996
An Algebra for Delay-Insensitive Circuits
MB Josephs, JT Udding
Computer-aided verification'90: proceedings of a DIMACS workshop, June 18-21 …, 1991
551991
A theory of asynchronous processes
MB Josephs, CAR Hoare, J He
54*1989
Delay-insensitive circuits: An algebraic approach to their design
MB Josephs, JT Udding
International Conference on Concurrency Theory, 342-366, 1990
471990
The semantics of lazy functional languages
MB Josephs
Theoretical computer science 68 (1), 105-111, 1989
361989
The data refinement calculator for Z specifications
MB Josephs
Information Processing Letters 27 (1), 29-33, 1988
361988
Cybersecurity metrics for enhanced protection of healthcare IT systems
Y Ahmed, S Naqvi, M Josephs
2019 13th International Symposium on Medical Information and Communication …, 2019
332019
Cyber-risks in the industrial internet of things (IIoT): Towards a method for continuous assessment
C Adaros Boye, P Kearney, M Josephs
Information Security: 21st International Conference, ISC 2018, Guildford, UK …, 2018
322018
Formal design of an asynchronous DSP counterflow pipeline: A case study in handshake algebra
MB Josephs, PG Lucassen, JT Udding, T Verhoeff
Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous …, 1994
311994
Special issue on asynchronous circuits and systems
SM Nowick, MB Josephs, CH van Berkel
Proceedings of the IEEE 87 (2), 219-222, 1999
30*1999
A programming approach to the design of asynchronous logic blocks
MB Josephs, DP Furey
Concurrency and Hardware Design: Advances in Petri Nets, 34-60, 2002
282002
Low-latency asynchronous FIFO buffers
JT Yantchev, CG Huang, MB Josephs, IM Nedelchev
Proceedings Second Working Conference on Asynchronous Design Methodologies …, 1995
251995
A formal description of the OMG's Core Object Model and the meaning of compatible extension
ISC Houston, MB Josephs
Computer Standards & Interfaces 17 (5-6), 553-558, 1995
221995
Sequencer circuits for VLSI programming
A Bailey, MB Josephs
Proceedings Second Working Conference on Asynchronous Design Methodologies …, 1995
221995
The system can't perform the operation now. Try again later.
Articles 1–20