VIAF

Virtual International Authority File

Search

Bergstra, J.A. (Johannes Aldert), 1951- National Library of the Netherlands

Bergstra, Jan. A. Sudoc [ABES], France National and University Library in Zagreb German National Library

Bergstra, J. A. National Library of Latvia Library of Congress/NACO German National Library

Bergstra, Jan A. 1951- NUKAT Center of Warsaw University Library German National Library

Bergstra, J. A., 1951- National Library of the Czech Republic ISNI

Bergstra, Jan National Library of France

Jan Bergstra Wikidata

VIAF ID: 18127576 (Personal)

Permalink: http://viaf.org/viaf/18127576

ISNI: 0000  0001  1932  6826 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (17)

Open Section Close Section 5xx's: Related Names (1)

Open Section Close SectionWorks

Title Sources
Algebraic methods: theory, tools and applications NUKAT Center of Warsaw University Library Library of Congress/NACO German National Library National Library of the Netherlands Sudoc [ABES], France
Algebraically specified programming systems and Hoare's logic [microvorm] National Library of the Netherlands Sudoc [ABES], France
Atlantis studies in computing Sudoc [ABES], France
Axiomatizing probabilistic processes : ACP with generative probabilities National Library of the Netherlands
Branching time and orthogonal bisimulation equivalence National Library of Latvia
The completeness of the algebraic specification methods for data types [microvorm] National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Conditional rewrite rules: confluency and termination National Library of the Netherlands
Decidability of bisimulation equivalence for processes generating context-free languages National Library of the Netherlands
Equational specifications for computable data types : six hidden functions suffice and other sufficiency bounds National Library of the Netherlands
Festschrift in honour of Jan Bergstra NUKAT Center of Warsaw University Library
The field of algebraic numbers fails to possess even a nice sound, if relatively incomplete, hoare-like logic for its while-programs National Library of the Netherlands
Floyd's principle, correctness theories and program equivalence National Library of the Netherlands
Handbook of network and system administration Library of Congress/NACO Sudoc [ABES], France National Library of France National Library of Latvia
Handbook of process algebra / Ed. by J.A. Bergstra, A. Ponse, S.A. Smolka, 2001 NUKAT Center of Warsaw University Library Sudoc [ABES], France National and University Library in Zagreb
The history of information security : a comprehensive handbook National and University Library in Zagreb Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of the Czech Republic National Library of the Netherlands National Library of France National Library of Latvia
inescapable stack National Library of the Netherlands
Instruction sequences for computer science NUKAT Center of Warsaw University Library Sudoc [ABES], France
Linear projective program syntax National Library of the Netherlands
Logic of transition systems National Library of the Netherlands
Machine function based control code algebras National Library of the Netherlands
Module algebra National Library of the Netherlands
A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification National Library of the Netherlands
Object-oriented algebraic specification: proposal for a notation and 12 examples National Library of the Netherlands
On sequential composition, action prefixes and process prefix National Library of the Netherlands
On specifying sets of integers National Library of the Netherlands
On the consistency of Koomen's fair abstraction rule National Library of the Netherlands
Platform projections, compilers, interpreters and portability National Library of the Netherlands
Platforms, specifications and decisions National Library of the Netherlands
Process algebra with asynchronous communication mechanisms National Library of the Netherlands
Process theory based on bisimulation semantics National Library of the Netherlands
Processen en procesexpressies National Library of the Netherlands
Program algebra for flow charts National Library of the Netherlands
Programmatuuronderzoek in de schaduw National Library of the Netherlands
Programs, interfaces and components National Library of the Netherlands
Proving program inclusion using Hoare's logic National Library of the Netherlands
Put and get, primitives for synchronous unreliable message passing National Library of the Netherlands
Raaskal, een taal om eindige automaten te simuleren National Library of the Netherlands
Readies and failures in the algebra of communicating processes National Library of the Netherlands
Ready trace semantiek voor procesalgebra met prioriteitsoperator National Library of the Netherlands
Real space process algebra National Library of the Netherlands
Recursive assertions are not enough, or are they? National Library of the Netherlands
Recursive process definitions with the state operator National Library of the Netherlands
Software mechanics for Java multi-threading National Library of the Netherlands
Spoorweglogica via EURIS National Library of the Netherlands
Syntax and defining equations for an interrupt mechanism in process algebra National Library of the Netherlands
Syntax and semantics of a high-level intermediate representation for ASF+SDF National Library of the Netherlands National Library of Latvia
Term rewriting systems with priorities National Library of the Netherlands
Termherschrijfsystemen National Library of the Netherlands
Terminologie van algebrai͏̈sche specificaties National Library of the Netherlands
Theoretische software-engineering : kenmerken, faseringen en classificaties National Library of the Netherlands
Towards a complete transformational toolkit for compilers National Library of the Netherlands National Library of Latvia
Universitaire beroepsopleidingen in de informatica. National Library of the Netherlands
Verification of an alternating bit protocol by means of process algebra National Library of the Netherlands
Which data types have ō-complete initial algebra spcifications? National Library of the Netherlands Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (6)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (13)

Open Section Close Section About

Open Section Close Section History of VIAF ID:18127576 (39)