Article,

Processes as Terms: Non-Well-Founded Models for Bisimulation.

.
Math. Struct. Comput. Sci., 2 (3): 257-275 (1992)

Meta data

Tags

Users

  • @dblp

Comments and Reviews