nfer - A Notation and System for Inferring Event Stream Abstractions.

Sean Kauffman, Klaus Havelund, Rajeev Joshi

Browse the full RV paper archive.