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

Ščuglík František, Ing., Ph.D. (CM-SFE)

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"
}