Publication detail

Comparing CSP representation and First order logic

ŠČUGLÍK, F.

Original Title

Comparing CSP representation and First order logic

Type

conference paper

Language

English

Original 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.

Keywords

CSP, First order representation, Logic

Authors

ŠČUGLÍK, F.

RIV year

2003

Released

9. 9. 2002

Publisher

Brno University of Technology

Location

Brno

ISBN

80-214-2180-0

Book

Proceedings of the 9th Electronic Devices and Systems Conference EDS'02

Pages from

341

Pages to

344

Pages count

4

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