VIAF

Virtual International Authority File

Search

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

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

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

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

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

Bergstra, Jan National Library of France

Jan Bergstra Wikidata

VIAF ID: 18127576 (Personal)

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

ISNI-test: 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)

  • 551 _ _ ‎‡a  Rotterdam German National Library

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-test xR Extended Titles-test NUKAT Center of Warsaw University Library
Algebraically specified programming systems and Hoare's logic [microvorm] National Library of the Netherlands-test Sudoc [ABES], France
Axiomatizing probabilistic processes : ACP with generative probabilities National Library of the Netherlands-test
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-test Sudoc [ABES], France Library of Congress/NACO
Conditional axioms and α/β calculus in process algebra National Library of the Netherlands-test
Conditional rewrite rules: confluency and termination National Library of the Netherlands-test
Decidability of bisimulation equivalence for processes generating context-free languages National Library of the Netherlands-test
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-test
Floyd's principle, correctness theories and program equivalence [microvorm] National Library of the Netherlands-test
Global renaming operators in concrete process algebra National Library of the Netherlands-test
Handbook of network and system administration xR Extended Titles-test National Library of Latvia Sudoc [ABES], France Library of Congress/NACO National Library of France
Handbook of Process Algebra xR Extended Titles-test National Library of the Netherlands-test
The history of information security : a comprehensive handbook National and University Library in Zagreb Library of Congress/NACO National Library of the Netherlands-test 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-test
Initial and final algebra semantics for data type specifications: two characterisation theorems National Library of the Netherlands-test 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-test
Logic of transition systems National Library of the Netherlands-test
Machine function based control code algebras National Library of the Netherlands-test
Module algebra xR Extended Titles-test National Library of the Netherlands-test
A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification National Library of the Netherlands-test
Object-oriented algebraic specification: proposal for a notation and 12 examples National Library of the Netherlands-test
On sequential composition, action prefixes and process prefix National Library of the Netherlands-test
On specifying sets of integers National Library of the Netherlands-test
On the consistency of Koomen's fair abstraction rule National Library of the Netherlands-test
PC-compactness : a necessary condition for the existence of sound and complete logics of partial correctness National Library of the Netherlands-test
Platform projections, compilers, interpreters and portability National Library of the Netherlands-test
Platforms, specifications and decisions National Library of the Netherlands-test
Process algebra with asynchronous communication mechanisms National Library of the Netherlands-test
Process theory based on bisimulation semantics National Library of the Netherlands-test
Processen en procesexpressies National Library of the Netherlands-test
Program algebra for flow charts National Library of the Netherlands-test
Programmatuuronderzoek in de schaduw National Library of the Netherlands-test
Programs, interfaces and components National Library of the Netherlands-test
Proving program inclusion using Hoare's logic National Library of the Netherlands-test
Put and get, primitives for synchronous unreliable message passing National Library of the Netherlands-test
Raaskal, een taal om eindige automaten te simuleren National Library of the Netherlands-test
Readies and failures in the algebra of communicating processes NUKAT Center of Warsaw University Library National and University Library in Zagreb National Library of the Netherlands-test xR Extended Titles-test Sudoc [ABES], France
Ready trace semantiek voor procesalgebra met prioriteitsoperator National Library of the Netherlands-test
real time process logic National Library of the Netherlands-test
Recursive assertions are not enough, or are they? National Library of the Netherlands-test
Recursive process definitions with the state operator National Library of the Netherlands-test
Software mechanics for Java multi-threading National Library of the Netherlands-test
Spoorweglogica via EURIS National Library of the Netherlands-test
Syntax and defining equations for an interrupt mechanism in process algebra National Library of the Netherlands-test
Syntax and semantics of a high-level intermediate representation for ASF+SDF National Library of the Netherlands-test National Library of Latvia
Term rewriting systems with priorities National Library of the Netherlands-test
Termherschrijfsystemen National Library of the Netherlands-test
Terminologie van algebrai͏̈sche specificaties National Library of the Netherlands-test
Theoretische software-engineering : kenmerken, faseringen en classificaties National Library of the Netherlands-test
Towards a complete transformational toolkit for compilers National Library of the Netherlands-test National Library of Latvia
Universitaire beroepsopleidingen in de informatica. National Library of the Netherlands-test

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)