An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System.

DOI10.4036/IIS.1999.87zbMATH Open1114.68357OpenAlexW1999412981MaRDI QIDQ4267096FDOQ4267096

Authors: Byung-Ho Park, Kaoru Takahashi, Norio Shiratori 

Publication date: 3 January 2000

Published in: Interdisciplinary Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4036/iis.1999.87

Mathematics Subject Classification ID

Theory of programming languages (68N15)

This page was built for publication: An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4267096)