Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
SM a' TH, M Powerdomams Proc 5th Math. Foundations of Comptr Sc~ Symposmm, Gdansk, Poland, Lecture Notes m Computer Science 45 , Sprmger-Vedag, 1976 , pp 537 - 543 SMa'TH, M Powerdomams Proc 5th Math. Foundations of Comptr Sc~ Symposmm, Gdansk, Poland, Lecture Notes m Computer Science 45, Sprmger-Vedag, 1976, pp 537-543 | 1976 | |||
PLOTKIN , G. A powerdomam construction SIAM J Comptng 5 , 3 ( 1976 ), 452-487 PLOTKIN, G. A powerdomam construction SIAM J Comptng 5, 3 (1976), 452-487 | 1976 | |||
VAN WIJNGAARDEN , A. , ET AL Revised report on the algorithmic language ALGOL 68 A cta Informauca 5 ( 1975 ), 1 - 236 VAN WIJNGAARDEN, A., ET AL Revised report on the algorithmic language ALGOL 68 A cta Informauca 5 (1975), 1-236 | 1975 | |||
LUCAS , P , AND WALK , K On the formal descnptlon of P L/I Ann Rev. m A utom. Prog 6 , 3 ( 1969 ), 105- 182. LUCAS, P, AND WALK, K On the formal descnptlon of PL/I Ann Rev. m A utom. Prog 6, 3 (1969), 105- 182. | 1969 | |||
I On proofs of programs for synchromsatton Proc 3rd Int CoUoqumm Automata Languages and Programming | 1976 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Concurrent systems and time synchronization | International Journal of General Systems |
| 1 | 2018 |
Election in partially anonymous networks with arbitrary knowledge in message passing systems | Distributed Computing |
| 4 | 2012 |
Behavioral interface specification languages | ACM Computing Surveys |
| 27 | 2012 |
A Study on Network Service Behavior Verification with Process Algebra and Its Application | Chinese Journal of Computers | 2011 | ||
On the power of synchronization between two adjacent processes | Distributed Computing |
| 3 | 2010 |