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

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

Published

2002

Pages

341–344

Proceedings

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

Conference

EDS 2002 Electronic Devices and Systems Conference

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

Projects

Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed

Research groups

NES@FIT - Networks and distributed systems research group (RG NES@FIT)

Departments

Faculty of Information Technology (FIT)