Concepedia

Mark B. Josephs

MB

17

Publications

546

Citations

12

H-Index

1988

Active since

Affiliations

London South Bank University(Current)

Eindhoven University of Technology

IBM (United States)

University of Oxford

IBM (United Kingdom)

Mark B. Josephs is an author at London South Bank University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceComputer EngineeringSystems EngineeringComputer ArchitectureHardware SecurityParallel ComputingFormal VerificationAsynchronous Circuits

Publications per year

1988–2019

17

Publications

17

A state-based approach to communicating processes

Mark B. Josephs · Distributed Computing · 1988 · 99 citations

Process Calculus, State-based Approach, Engineering +7

Receptive process theory

Mark B. Josephs · Acta Informatica · 1992 · 86 citations

Cognitive Science, Receptive Process Theory, Cognition +5

A Theory of Synchrony and Asynchrony.

Jifeng He, Mark B. Josephs, C. A. R. Hoare · Oxford University Research Archive (ORA) (University of Oxford) · 1990 · 48 citations · Full text

Cognitive Science, Engineering, Synchronization Protocol +6

Modeling and design of asynchronous circuits

Mark B. Josephs, Steven M. Nowick, C.H. van Berkel · Proceedings of the IEEE · 1999 · 41 citations

Engineering, Computer Architecture, Signal Transitions +18

Scanning the Technology: Applications of Asynchronous Circuits

Mark B. Josephs, Steven M. Nowick · 1999 · 36 citations

Rows per page

1–5 of 17