Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-2 of 2 (Search time: 0.008 seconds).
  • previous
  • 1
  • next
Item hits:
On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/$^\ast$
  SEKI, Hiroyuki, TANIGUCHI, Kenichi, KASAMI, Tadao (1988-04)
  数理解析研究所講究録, 655: 104-123
file type icon 
An Algebraic Method For Verifying Progress Property of Communication Protocolos
  HIGASHINO, Teruo, TANIGUCHI, Kenichi, KASAMI, Tadao, FUJII, Mamoru, MORI, Masaaki (1988-04)
  数理解析研究所講究録, 655: 84-103
file type icon