Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. - Some minor changes for the blackboar pattern
  2. - Removing identifier from subscriptions for publisher subscriper pattern
Changeset 9368:20cb9e4f2dad by dmarmsoler:
- Some minor changes for the blackboar pattern
The file was modified thys/Architectural_Design_Patterns/Blackboard.thy (diff)
Changeset 9367:a5c1606fe535 by dmarmsoler:
- Removing identifier from subscriptions for publisher subscriper pattern
The file was modified thys/Architectural_Design_Patterns/Blackboard.thy (diff)
The file was modified thys/Architectural_Design_Patterns/Publisher_Subscriber.thy (diff)