Sign in
Process Calculi: The End of the Beginning?: (From Thought Experiments to Experimental Semantics).
Peter Sewell
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
process model
real world
expert systems
logic programming
experimental data
qualitative and quantitative
temporal relations