Call for Papers and Other Useful Academic Information

Dear petrinet-owner, dear petrinet list members, I had hoped that the list moderators would step into the discussion, to clarify which changes are possible within the current framework, and which would have to involve unwelcome departures. This message is copied explicitly to petrinet-owner, with a summary of the changes that have been mentioned recently, and [...]

Modeling and analysis of security protocols =========================================== One post-doc position is available in the Department of Computer Science, Stevens Institute of Technology. The project is led by Professors Susanne Wetzel and David Naumann. It involves development of analytic models and simulations of wireless network protocol stacks, including both abstract protocol specifications and actual implementations. We [...]