Polarized process algebra with reactive composition

  • Authors:

  • J. A. Bergstra;I. Bethke

  • Affiliations:

  • Faculty of Science, University of Amsterdam, Programming Research Group, The Netherlands and Department of Philosophy, Utrecht University, Applied Logic Group, The Netherlands;Faculty of Science, University of Amsterdam, Programming Research Group, The Netherlands

  • Venue:
  • Theoretical Computer Science - Formal methods for components and objects
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract