Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

41 items matching your criteria

Sort by:
Filter By:
Subject: D.3.1 - Formal Definitions and Theory
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1 2 3 4
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
MONSTR II - Suspending Semantics and Independence
Richard Banach
10.3217/jucs-003-07-0756
 28-07-1997
 Unique: 546 | Total: 651  | Access Period:
 756-802
HTML
XML
PDF
Research Article
The Formal Specification of Oberon
Philipp Kutter, Alfonso Pierantonio
10.3217/jucs-003-05-0443
 28-05-1997
 Unique: 520 | Total: 646  | Access Period:
 443-503
HTML
XML
PDF
Research Article
Montages Specifications of Realistic Programming Languages
Philipp Kutter, Alfonso Pierantonio
10.3217/jucs-003-05-0416
 28-05-1997
 Unique: 505 | Total: 647  | Access Period:
 416-442
HTML
XML
PDF
Research Article
MONSTR I - Fundamental Issues and the Design of MONSTR
Richard Banach
10.3217/jucs-002-04-0164
 28-04-1996
 Unique: 646 | Total: 768  | Access Period:
 164-216
HTML
XML
PDF
Research Article
A Translation of the Pi-Calculus Into MONSTR
Richard Banach, J. Balázs, George Papadopoulos
10.3217/jucs-001-06-0339
 28-06-1995
 Unique: 600 | Total: 776  | Access Period:
 339-398
HTML
XML
PDF
1 2 3 4

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK