concurrent and distributed systems / depth-first search algorithm / real-time embedded and safety-critical systems / real-time and fault-tolerant distributed systems / substantial business critical applications / breadth-first search algorithm / generic server / gen server / software errors / /
Organization
University of Sheffield / Regent Court / µCRL Qiang Guo and John Derrick Department of Computer Science / /
Eliminating overlapping of pattern matching when verifying Erlang programs in µCRL Qiang Guo and John Derrick Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, UK