Publication Details

Comparing CSP representation and First order logic

ŠČUGLÍK, F. Comparing CSP representation and First order logic. Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Brno University of Technology, 2002. p. 341-344. ISBN: 80-214-2180-0.
Type
conference paper
Language
English
Authors
Keywords

CSP, First order representation, Logic

Abstract

This contribution discusses two different methods for specification reactive systems from their source code: (1) the First order representation and (2) the specification using CSP. This paper focuses on the comparsion of CSP with First order representation.

Published
2002
Pages
341–344
Proceedings
Proceedings of the 9th Electronic Devices and Systems Conference EDS'02
ISBN
80-214-2180-0
Publisher
Brno University of Technology
Place
Brno
BibTeX
@inproceedings{BUT10241,
  author="František {Ščuglík}",
  title="Comparing CSP representation and First order logic",
  booktitle="Proceedings of the 9th Electronic Devices and Systems Conference EDS'02",
  year="2002",
  pages="341--344",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="80-214-2180-0"
}
Back to top