„Concurrent Programming“

Suchergebnisse

241 Treffer

• Executing Formal Specifications with Concurrent Constraint Programming
  Wahls, Tim ; Leavens, Gary T. ; Baker, Albert L.
• A formal semantics for concurrent systems with a priority relation
  Janicki, Ryszard
• Concurrent search and insertion in 2–3 trees
  Ellis, Carla Schlatter
• The ‘Hoare logic’ of concurrent programs
  Lamport, Leslie
• Concurrent algorithms for root searching
  Eriksen, Ole ; Staunstrup, Jørgen
• Formal semantics of a class of high-level primitives for coordinating concurrent processes
  Lauer, P. E. ; Campbell, R. H.
• Partial (set) 2-structures – Part II: state spaces of concurrent systems
  Ehrenfeucht, A. ; Rozenberg, G.
• Remarks on “some comments on concurrent readers and writers” by Reidar Conradi
  Silberschatz, Abraham ; Johnson, Brian
• Complexity of analyzing the synchronization structure of concurrent programs
  Taylor, Richard N.
• Towards action refinement for true concurrent real time
  Majster-Cederbaum, Mila ; Wu, Jinzhao
• A common intermediate language and its use in partitioning concurrent declarative programs
  Ariola, Z. M. ; Massey, B. C. ; Sami, M. ; Tick, E.
• The splay-list: a distribution-adaptive concurrent skip-list
  Aksenov, Vitaly ; Alistarh, Dan ; Drozdova, Alexandra ; Mohtashami, Amirkeivan
• The JR Programming Language – Concurrent Programming in an Extended Java
  Olsson, Ronald A. ; Keen, Aaron W. 2004 Springer US
• Nebenläufige Programmierung mit Java – Konzepte und Programmiermodelle für Multicore-Systeme
  Hettel, Jörg ; Tran, Manh Tien 2016 dpunkt.verlag
• A foundation for higher-order concurrent constraint programming
  Smolka, Gert 1995 DFKI
• A calculus for higher order concurrent constraint programming with deep guards
  Smolka, Gert 1995 DFKI
• Rely-guarantee bound analysis of parameterized concurrent shared-memory programs – With an application to proving that non-blocking algorithms are bounded lock-free
  Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian
• Embedding the pi-calculus into a concurrent functional programming language
  Schmidt-Schauß, Manfred ; Sabel, David 2020 Universitätsbibliothek Johann Christian Senckenberg
• Embedding the pi-calculus into a concurrent functional programming language
  Schmidt-Schauß, Manfred ; Sabel, David 2020 Universitätsbibliothek Johann Christian Senckenberg
• Embedding the pi-calculus into a concurrent functional programming language
  Schmidt-Schauß, Manfred ; Sabel, David 2020 Universitätsbibliothek Johann Christian Senckenberg