Detail publikačního výsledku

Comparing CSP representation and First order logic

ŠČUGLÍK, F.

Original Title

Comparing CSP representation and First order logic

English Title

Comparing CSP representation and First order logic

Type

Paper in proceedings outside WoS and Scopus

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.

English 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

Key words in English

CSP, First order representation, Logic

Authors

ŠČUGLÍK, F.

Released

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

Full text in the Digital Library

http://hdl.handle.net/

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