Jan Aldert Bergstra

Jan Aldert Bergstra

University of Amsterdam - Amsterdam / Netherlands
Others
AD Scientific Index ID: 1829105
Universiteit van Amsterdam
person_outline Jan Aldert Bergstra's MOST POPULAR ARTICLES
1-) Process algebra for synchronous communicationJA Bergstra, JW KlopInformation and control 60 (1-3), 109-137, 198414111984
2-) Algebra of communicating processes with abstractionJA Bergstra, JW KlopTheoretical computer science 37, 77-121, 198510421985
3-) Handbook of process algebraJA Bergstra, A Ponse, SA SmolkaElsevier, 20018832001
4-) Real time process algebraJCM Baeten, JA BergstraFormal Aspects of Computing 3, 142-188, 19915761991
5-) Algebraic specificationJA BergstraACM, 19894891989