User contributions for Bita.banihashemi

23 December 2011

• 23:1123:11, 23 December 2011 diff hist +32,738‎ N Input/output automaton ‎
  ←
  Created page with '{{New unreviewed article|source=ArticleWizard|date={{subst:CURRENTMONTHNAME}} {{subst:CURRENTYEAR}}}} '''Input/Output Automata''' provide a formal model, applic...'

22 December 2011

• 19:0619:06, 22 December 2011 diff hist +9‎ User:Bita.banihashemi ‎No edit summary
• 18:5518:55, 22 December 2011 diff hist −1‎ User:Bita.banihashemi ‎ →‎Liveness Properties
• 18:5418:54, 22 December 2011 diff hist +22‎ User:Bita.banihashemi ‎ →‎Safety Properties
• 18:4718:47, 22 December 2011 diff hist −2‎ User:Bita.banihashemi ‎ →‎Trace Properties
• 18:3418:34, 22 December 2011 diff hist +20‎ User:Bita.banihashemi ‎No edit summary
• 18:2518:25, 22 December 2011 diff hist +2‎ User:Bita.banihashemi ‎No edit summary
• 18:1818:18, 22 December 2011 diff hist −21‎ User:Bita.banihashemi ‎ →‎Example: Composition
• 18:1618:16, 22 December 2011 diff hist +264‎ User:Bita.banihashemi ‎ →‎Composition Operation
• 17:5817:58, 22 December 2011 diff hist +1‎ User:Bita.banihashemi ‎No edit summary
• 17:5117:51, 22 December 2011 diff hist −2‎ User:Bita.banihashemi ‎No edit summary
• 17:4017:40, 22 December 2011 diff hist +1‎ User:Bita.banihashemi ‎ →‎Tasks
• 17:2917:29, 22 December 2011 diff hist +3‎ User:Bita.banihashemi ‎ →‎Transition
• 17:2417:24, 22 December 2011 diff hist −12‎ User:Bita.banihashemi ‎No edit summary
• 17:2017:20, 22 December 2011 diff hist +2‎ User:Bita.banihashemi ‎No edit summary
• 17:1317:13, 22 December 2011 diff hist 0‎ User:Bita.banihashemi ‎ →‎Process I/O Automaton
• 16:5816:58, 22 December 2011 diff hist +760‎ User:Bita.banihashemi ‎No edit summary
• 16:5416:54, 22 December 2011 diff hist +3‎ User:Bita.banihashemi ‎No edit summary
• 16:5216:52, 22 December 2011 diff hist +29‎ User:Bita.banihashemi ‎No edit summary
• 16:0316:03, 22 December 2011 diff hist +102‎ User:Bita.banihashemi ‎No edit summary
• 15:5115:51, 22 December 2011 diff hist −44‎ User:Bita.banihashemi ‎No edit summary
• 15:3415:34, 22 December 2011 diff hist +100‎ User:Bita.banihashemi ‎No edit summary
• 14:1214:12, 22 December 2011 diff hist −57‎ User:Bita.banihashemi ‎No edit summary
• 02:0402:04, 22 December 2011 diff hist −297‎ User:Bita.banihashemi ‎No edit summary
• 01:3301:33, 22 December 2011 diff hist +6‎ User:Bita.banihashemi ‎No edit summary
• 01:0901:09, 22 December 2011 diff hist +38‎ User:Bita.banihashemi ‎No edit summary
• 00:4400:44, 22 December 2011 diff hist +187‎ User:Bita.banihashemi ‎No edit summary
• 00:0300:03, 22 December 2011 diff hist −77‎ User:Bita.banihashemi ‎No edit summary

21 December 2011

• 23:1223:12, 21 December 2011 diff hist −19‎ User:Bita.banihashemi ‎No edit summary
• 23:0223:02, 21 December 2011 diff hist −43‎ User:Bita.banihashemi ‎No edit summary
• 22:4022:40, 21 December 2011 diff hist +1‎ User:Bita.banihashemi ‎No edit summary
• 22:3622:36, 21 December 2011 diff hist −4,091‎ User:Bita.banihashemi ‎No edit summary
• 03:0803:08, 21 December 2011 diff hist +180‎ User:Bita.banihashemi ‎No edit summary
• 02:4102:41, 21 December 2011 diff hist +98‎ User:Bita.banihashemi ‎No edit summary
• 01:1501:15, 21 December 2011 diff hist −90‎ User:Bita.banihashemi ‎No edit summary
• 00:5700:57, 21 December 2011 diff hist −1,052‎ User:Bita.banihashemi ‎No edit summary

20 December 2011

• 23:5023:50, 20 December 2011 diff hist +620‎ User:Bita.banihashemi ‎No edit summary
• 23:0423:04, 20 December 2011 diff hist +136‎ User:Bita.banihashemi ‎No edit summary
• 21:4521:45, 20 December 2011 diff hist −129‎ User:Bita.banihashemi ‎No edit summary
• 17:4817:48, 20 December 2011 diff hist 0‎ User:Bita.banihashemi ‎No edit summary
• 17:4517:45, 20 December 2011 diff hist +32‎ User:Bita.banihashemi ‎No edit summary
• 16:5516:55, 20 December 2011 diff hist +264‎ User:Bita.banihashemi ‎No edit summary
• 16:2616:26, 20 December 2011 diff hist +241‎ User:Bita.banihashemi ‎No edit summary
• 13:0013:00, 20 December 2011 diff hist +16‎ User:Bita.banihashemi ‎No edit summary
• 12:5912:59, 20 December 2011 diff hist −2‎ User:Bita.banihashemi ‎No edit summary
• 03:2203:22, 20 December 2011 diff hist +38‎ User:Bita.banihashemi ‎No edit summary
• 02:2602:26, 20 December 2011 diff hist −2‎ User:Bita.banihashemi ‎No edit summary
• 02:2502:25, 20 December 2011 diff hist +500‎ User:Bita.banihashemi ‎No edit summary

19 December 2011

• 02:4302:43, 19 December 2011 diff hist +1‎ User:Bita.banihashemi ‎ →‎Example: Composition
• 02:3702:37, 19 December 2011 diff hist +20‎ User:Bita.banihashemi ‎ →‎Formal Definition