Molecular dynamics

DOI10.1016/S1567-8326(02)00021-8zbMath1008.68033OpenAlexW4211082154MaRDI QIDQ1858435

Inge Bethke, Jan A. Bergstra

Publication date: 13 February 2003

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1567-8326(02)00021-8

zbMATH Keywords

molecular dynamicsobject oriented programmingprogram algebra

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A thread calculus with molecular dynamics

Cites Work

• Unnamed Item
• Program algebra for component code
• Program algebra for sequential code
• A propositional logic with 4 values: true, false, divergent and meaningless
• On notation for ordinal numbers