sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000119326826 | 1 hits
Person
ISNI: 
0000 0001 1932 6826
Name: 
Bergstra, J. A.
Bergstra, Jan
Bergstra, Jan. A.
Bergstra, Johannes Aldert
Jan Bergstra
Jan Bergstra (Computer scientist)
Jan Bergstra (Nederlands informaticus)
Dates: 
1951-
Creation class: 
article
Computer file
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Baeten, J.C.M.
Baeten, Josephus Cornelis Maria
Burgess, Mark (1966-...)
Heering, J.
Heering, Jan
Inaugurale rede te Amsterdam
Klint, P. (1948-)
Klint, Paul (1948-)
Klop, J.W. (1945-)
Klop, Jan Willem (1945-)
Leeuw, Karl de
Middelburg, C.A.
Middelburg, Cornelis Adam
Ponse, A. (1955-)
Ponse, Alban (1955- ))
Ponse, Alban (1955-)
Smolka, Scott A.
Stichting Mathematisch Centrum (Amsterdam)
Tiuryn, J.
Tucker, J.V.
Wirsing, M.
Wirsing, Martin
Zwaag, M. B. van der
Zwaag, Mark Bastiaan van der
Titles: 
Algebraic Methods II: Theory, Tools and Applications
Algebraically specified programming systems and Hoare's logic
Atlantis studies in computing
Axiomatizing probabilistic processes : ACP with generative probabilities
Branching time and orthogonal bisimulation equivalence
completeness of the algebraic specification methods for data types [microvorm], The
Conditional axioms and α/β calculus in process algebra
Conditional rewrite rules: confluency and termination
Decidability of bisimulation equivalence for processes generating context-free languages
Equational specifications for computable data types : six hidden functions suffice and other sufficiency bounds [microvorm]
Festschrift in honour of Jan Bergstra
field of algebraic numbers fails to possess even a nice sound, if relatively incomplete, hoare-like logic for its while-programs [microvorm], The
Floyd's principle, correctness theories and program equivalence [microvorm]
Global renaming operators in concrete process algebra
Handbook of network and system administration
Handbook of process algebra
history of information security, The : a comprehensive handbook
inescapable stack
Initial and final algebra semantics for data type specifications : two characterisation theorems [microvorm]
Instruction sequences for computer science
Linear projective program syntax
Logic of transition systems
Machine function based control code algebras
Module algebra
Object-oriented algebraic specification: proposal for a notation and 12 examples
On sequential composition, action prefixes and process prefix
On specifying sets of integers
On the consistency of Koomen's fair abstraction rule
Platform projections, compilers, interpreters and portability
Platforms, specifications and decisions
Process algebra with asynchronous communication mechanisms
Process theory based on bisimulation semantics
Processen en procesexpressies
Program algebra for flow charts
Programmatuuronderzoek in de schaduw
Programs, interfaces and components
Proving program inclusion using Hoare's logic
Put and get, primitives for synchronous unreliable message passing
Raaskal, een taal om eindige automaten te simuleren
Readies and failures in the algebra of communicating processes
Ready trace semantiek voor procesalgebra met prioriteitsoperator
real time process logic, A
Recursive assertions are not enough, or are they?
Recursive process definitions with the state operator
Software mechanics for Java multi-threading
Spoorweglogica via EURIS
Syntax and defining equations for an interrupt mechanism in process algebra
Syntax and semantics of a high-level intermediate representation for ASF+SDF
Term rewriting systems with priorities
Termherschrijfsystemen
Terminologie van algebraïsche specificaties
Theoretische software-engineering : kenmerken, faseringen en classificaties
Towards a complete transformational toolkit for compilers
Universitaire beroepsopleidingen in de informatica.
Which data types have ō-complete initial algebra spcifications?
Notes: 
Inaugurale rede te Amsterdam, 1985
Sources: 
VIAF LC LNB NKC NSK NUKAT SUDOC WKD
BOWKER
DAI
NTA
TEL