Connection between logical and algebraic approaches to concurrent systems

Article Properties
Abstract
Cite
ZHAN, NAIJUN. “Connection Between Logical and Algebraic Approaches to Concurrent Systems”. Mathematical Structures in Computer Science, vol. 20, no. 5, 2010, pp. 915-50, https://doi.org/10.1017/s0960129510000253.
ZHAN, N. (2010). Connection between logical and algebraic approaches to concurrent systems. Mathematical Structures in Computer Science, 20(5), 915-950. https://doi.org/10.1017/s0960129510000253
ZHAN, NAIJUN. “Connection Between Logical and Algebraic Approaches to Concurrent Systems”. Mathematical Structures in Computer Science 20, no. 5 (2010): 915-50. https://doi.org/10.1017/s0960129510000253.
ZHAN N. Connection between logical and algebraic approaches to concurrent systems. Mathematical Structures in Computer Science. 2010;20(5):915-50.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Refrences
Title Journal Journal Categories Citations Publication Date
A calculus of durations Information Processing Letters
  • Technology: Technology (General): Industrial engineering. Management engineering: Information technology
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1991
10.1109/LICS.1995.523242 1995
A modal characterization of observable machine-behavior. In: Proceedings of CAAD'81 1981
Full abstraction for a simple parallel programming language. In: Proceedings of MFCS'80 1980
Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA '06) 2006