Detail publikace

Comparing CSP representation and First order logic

ŠČUGLÍK, F.

Originální název

Comparing CSP representation and First order logic

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

CSP, First order representation, Logic

Autoři

ŠČUGLÍK, F.

Rok RIV

2003

Vydáno

9. 9. 2002

Nakladatel

Brno University of Technology

Místo

Brno

ISBN

80-214-2180-0

Kniha

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

Strany od

341

Strany do

344

Strany počet

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