Publication Details

Comparing CSP representation and First order logic

ŠČUGLÍK František. Comparing CSP representation and First order logic. In: Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Brno University of Technology, 2002, pp. 341-344. ISBN 80-214-2180-0.

Type

conference paper

Language

english

Authors

Ščuglík František, Ing., Ph.D. (DIFS FIT BUT)

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

Conference

Proceedings of Electronic Devices and Systems, Brno, CZ

ISBN

80-214-2180-0

Publisher

Brno University of Technology

Place

Brno, CZ

BibTeX

@INPROCEEDINGS{FITPUB6977,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "Comparing CSP representation and First order logic",
   pages = "341--344",
   booktitle = "Proceedings of the 9th Electronic Devices and Systems Conference EDS'02",
   year = 2002,
   location = "Brno, CZ",
   publisher = "Brno University of Technology",
   ISBN = "80-214-2180-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6977"
}