delo diplomskega seminarja
Gašper Ažman (Author), Andrej Bauer (Mentor)

Abstract

$\pi$-račun

Keywords

▫$\pi$▫-račun;vzporedno računanje;normalne oblike;zaznavanje zagat;

Data

Language: Slovenian
Year of publishing:
Typology: 2.11 - Undergraduate Thesis
Organization: UL FMF - Faculty of Mathematics and Physics
Publisher: [G. Ažman]
UDC: 004
COBISS: 15844953 Link will open in a new window
Views: 0
Downloads: 0
Average score: 0 (0 votes)
Metadata: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Other data

Secondary language: English
Secondary keywords: ▫$\pi$▫-calculus;parallel computation;normal forms;deadlock detection;
Type (COBISS): Final seminar paper
Thesis comment: Univ. v Ljubljani, Fak. za matematiko in fiziko, Oddelek za matematiko, Matematika - 1. stopnja
Pages: 30 str.
ID: 10910517