VIAF

Virtual International Authority File

Search

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

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

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

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 II: Theory, Tools and Applications Library of Congress/NACO German National Library Sudoc [ABES], France National Library of the Netherlands xR Extended Titles NUKAT Center of Warsaw University Library
Algebraically specified programming systems and Hoare's logic 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 National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Conditional axioms and α/β calculus in process algebra National Library of the Netherlands
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 [microvorm] 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 [microvorm] National Library of the Netherlands
Floyd's principle, correctness theories and program equivalence [microvorm] National Library of the Netherlands
Global renaming operators in concrete process algebra National Library of the Netherlands
Handbook of network and system administration xR Extended Titles National Library of Latvia Sudoc [ABES], France Library of Congress/NACO National Library of France
Handbook of Process Algebra National Library of the Netherlands National and University Library in Zagreb xR Extended Titles NUKAT Center of Warsaw University Library Sudoc [ABES], France
The history of information security : a comprehensive handbook National and University Library in Zagreb Library of Congress/NACO National Library of the Netherlands National Library of the Czech Republic NUKAT Center of Warsaw University Library National Library of France National Library of Latvia
inescapable stack National Library of the Netherlands
Initial and final algebra semantics for data type specifications : two characterisation theorems [microvorm] National Library of the Netherlands Library of Congress/NACO
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 xR Extended Titles 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 xR Extended Titles National Library of the Netherlands
Ready trace semantiek voor procesalgebra met prioriteitsoperator National Library of the Netherlands
A real time process logic 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

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)